recent posts

typetitleauthorlast post sort icon
Forum topicExhaustiveness checks for algorithms that manipulate imperative data structures Eduardo León2020-08-30 14:57
StoryThe Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy Manuel J. Simoni2020-08-25 22:44
StoryTurnstile+: Dependent Type Systems as Macros Charles Stewart2020-08-21 15:42
Forum topicAbstraction Tiers of Notations const2020-08-15 16:53
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