recent posts

typetitleauthorlast post sort icon
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
Forum topicLong rant on Erlang-style Actors: Lost Dimension const2012-03-20 08:57
StoryLanguage mystery: identify the source language to a worm based on its object code James Iry2012-03-20 23:15
Forum topicsome Mozart 2 VM code raould2012-03-21 12:51
Forum topicBrief Question on extension to ANF IR scottmcl2012-03-26 11:56
Forum topicDistributed capabilities versus network latency Jules Jacobs2012-03-26 17:45
Forum topiccrazy PL idea: prescriptive trait inference Sean McDirmid2012-03-26 23:20
Forum topicCoding at the Speed of Touch Sean McDirmid2012-03-27 18:25
Forum topicHow to Generate (Hard) Real-Time Code from Declarative Programming Languages? bryanedds2012-03-29 23:06
Forum topicReferences about the importance of formalism in programming language design giuseppemag2012-03-30 05:42