recent posts

typetitleauthorlast post sort icon
Forum topicIEEE Scheme expiring soon johnwcowan2020-04-01 15:43
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-03-10 16:31
Forum topicDeterministic Concurrency Alex Berka2020-03-10 11:13
Forum topicFunctional Constructors in Theme-D Tommi Höynälänmaa2020-03-08 17:08
Forum topicVarious desired forms of reasonableness raould2020-02-07 15:53
Forum topicStepanov and McJones: Elements of Programming Tom Duff2020-01-15 00:50
Forum topicThe Way-Too-Early announce: Ecstasy cpurdy2019-11-11 13:37
StoryTensor Considered Harmful Z-Bo2019-11-09 02:27
Forum topicBjarne Stroustrup interview on Youtube. Ray Dillinger2019-11-08 23:32
Forum topicType Mapping in Source-To-Source Translation thomash2019-10-29 17:23