recent posts

typetitleauthor sort iconlast post
Forum topicFunctional Relational Programming: Out of the tar pit abayley2012-06-24 17:25
Forum topicA StackExchange Site for Programming Language Theory aaditmshah2014-09-27 15:30
Forum topicyet another oop formalization: class as abstract automata A. G. Piskunov2008-11-25 20:27
Forum topicQuestion about closures and higher-order functions A B Carter2007-01-02 22:12
Forum topicFinding Landin's "The Mechanical Evaluation of Expressions" A B Carter2009-07-24 14:58