recent posts

typetitleauthorlast post sort icon
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
Forum topicLearn python to implement a complicated static code analyzer zell08v2012-03-30 20:10
Forum topicDisruptive PLT Revisited Sean McDirmid2012-03-31 13:27