recent posts

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