recent posts

typetitleauthorlast post sort icon
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2020-08-04 01:39
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-08-02 21:22
StoryThe Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy Manuel J. Simoni2020-07-29 13:31
Forum topicProgramming in Lambda Calculus hbrandl2020-06-27 02:58
Forum topicIdris2 is self-hosting Ohad Kammar2020-06-10 06:49
Forum topicmodus_ponens, a library to develop inference engines. Enrique Perez Arnaud2020-05-18 19:41
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