recent posts

typetitleauthorlast post sort icon
Forum topicIdris2 is self-hosting Ohad Kammar2020-05-19 06:36
Forum topicmodus_ponens, a library to develop inference engines. Enrique Perez Arnaud2020-05-18 19:41
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2020-05-17 00:25
Forum topicOwl: A parser generator for visibly pushdown languages. helltone2020-05-02 08:21
StoryApplications of Blockchain to Programming Language Theory Z-Bo2020-04-23 14:47
Forum topicIEEE Scheme expiring soon johnwcowan2020-04-14 07:48
Forum topicDeterministic Concurrency Alex Berka2020-04-10 09:15
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-03-10 16:31
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