recent posts

typetitleauthorlast post sort icon
Forum topicTranspiling a dynamically typed language to a statically typed language filipallberg2016-06-12 14:54
Forum topicStack of regions for managing effects? Aivar Annamaa2016-06-11 15:11
StorySet-Theoretic Types for Polymorphic Variants naasking2016-06-09 18:41
Forum topicProgramming with a Differentiable Forth Interpreter Sean McDirmid2016-06-06 19:46
Forum topicPLDI 2016 Proceedings now available on-line, free for 3 weeks emery2016-06-04 17:30
Forum topicMetaprogramming and Free Availability of Sources omouse2016-06-01 20:52
Forum topicLearning to Execute and Neural Turing Machines Sean McDirmid2016-05-30 14:37
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicA2: Analog Malicious Hardware marco2016-05-28 09:36
StoryType Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance naasking2016-05-26 21:51