recent posts

typetitleauthorlast post sort icon
Forum topicAdvantages of pointfree? John Nowak2019-10-17 16:20
Forum topicType Mapping in Source-To-Source Translation thomash2019-10-29 17:23
Forum topicBjarne Stroustrup interview on Youtube. Ray Dillinger2019-11-08 23:32
StoryTensor Considered Harmful Z-Bo2019-11-09 02:27
Forum topicThe Way-Too-Early announce: Ecstasy cpurdy2019-11-11 13:37
Forum topicStepanov and McJones: Elements of Programming Tom Duff2020-01-15 00:50
Forum topicVarious desired forms of reasonableness raould2020-02-07 15:53
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-02-14 09:08