recent posts

typetitleauthorlast post sort icon
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
Forum topicFunctional Constructors in Theme-D Tommi Höynälänmaa2020-03-08 17:08
Forum topicIEEE Scheme expiring soon johnwcowan2020-04-14 07:48
StoryApplications of Blockchain to Programming Language Theory Z-Bo2020-04-23 14:47
Forum topicOwl: A parser generator for visibly pushdown languages. helltone2020-05-02 08:21
Forum topicmodus_ponens, a library to develop inference engines. Enrique Perez Arnaud2020-05-18 19:41
Forum topicIdris2 is self-hosting Ohad Kammar2020-06-10 06:49
Forum topicProgramming in Lambda Calculus hbrandl2020-06-27 02:58