recent posts

typetitleauthor sort iconlast post
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
Forum topicyet another oop formalization: class as abstract automata A. G. Piskunov2008-11-25 20:27
Forum topicA StackExchange Site for Programming Language Theory aaditmshah2014-09-27 15:30
Forum topicLooking for VM's or AM's for functional languages. AaronNGray2020-12-10 16:10
Forum topiclooking for dependent research proof system language implemented in C++ AaronNGray2020-12-16 14:12
Forum topicLooking for papers on covariance and contravariance AaronNGray2019-02-10 18:33
Forum topicFunctional Relational Programming: Out of the tar pit abayley2012-06-24 17:25
Forum topicReplace heads function in Lisp AceKnocks2008-03-20 06:47
Forum topicautomatic program parallelization for multicore cpus as a software problem Achilleas Margaritis2007-06-18 12:58