recent posts

typetitleauthorlast post sort icon
Forum topiclooking for dependent research proof system language implemented in C++ AaronNGray2020-12-16 14:12
Forum topicThe AST Typing Problem (a bleg, also "why did attribute-grammars fail?") chetmurthy2020-12-15 19:40
Forum topicLooking for VM's or AM's for functional languages. AaronNGray2020-12-10 16:10
Forum topicTyper: ML boosted with type theory and Scheme raould2020-12-03 18:46
Forum topicHaskell-Like S-Expression-Based Language Designed for an IDE raould2020-12-03 18:25
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2020-12-02 18:50
Forum topicDeterministic Concurrency Alex Berka2020-12-01 15:10
Forum topicSystem programming using FP Todd Coram2020-11-27 13:54
Forum topicUpward and downward polymorphism in object oriented languages. Ray Dillinger2020-11-21 00:09
Forum topicType Mapping in Source-To-Source Translation thomash2020-11-19 02:27