recent posts

typetitleauthorlast post sort icon
StoryBreaking Through the Normalization Barrier: A Self-Interpreter for F-omega naasking2015-11-18 18:04
Forum topicInteresting experiment in peer-review Andrew Moss2015-11-16 16:39
Forum topicRumors in Complexity Theory marco2015-11-13 01:41
Forum topicHow Useful is Erlang Hot-Swapping of Code? marco2015-11-10 18:57
Forum topicGoogle Open Sources Skynet marco2015-11-10 15:25
Forum topic1ML — Core and modules united Tom Primožič2015-11-09 21:29
Forum topicGarbage Collection Based on a Linear Type System raould2015-11-03 06:48
Forum topicMCG: A Visual Functional Programming Language cdiggins2015-11-02 19:34
Forum topicminor lexical tokenization idea via character synonyms Rys McCusker2015-11-01 08:55
Forum topicinter-language PL theory patterns relevant to IPC? Rys McCusker2015-10-31 17:52