recent posts

typetitleauthor sort iconlast post
StoryIn Praise of Scripting: Real Programming Pragmatism Allan McInnes2008-08-25 05:13
StoryPunctuated equilibrium in the large scale evolution of programming languages Allan McInnes2015-07-20 01:13
StoryA Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler Allan McInnes2009-02-16 15:44
StoryPurpose-Built Languages Allan McInnes2009-05-05 15:21
Forum topicBuilding Compilers by Combining Algebras Allan McInnes2005-09-15 18:29
Forum topicA reflective functional language for hardware design and theorem proving Allan McInnes2007-02-01 05:31
StoryContinuation-Passing C: Compiling threads to events through continuations Allan McInnes2010-12-18 16:46
StorySwift: making web applications secure by construction Allan McInnes2009-04-02 21:53
StorySafely Composable Type-Specific Languages Allan McInnes2014-08-13 18:09
Forum topicThe long tail of programming languages Allan McInnes2005-07-01 10:42