recent posts

typetitleauthor sort iconlast post
Forum topicThe TechEmpower Web Framework Benchmarks Adam Chlipala2014-05-06 11:41
Forum topicTesting release of a platform for hosting pure functional web applications Adam Chlipala2010-02-26 23:30
Forum topicPrint release of a textbook on the Coq proof assistant Adam Chlipala2014-01-15 13:50
Forum topicWeb application shootout? Adam Chlipala2008-11-15 13:21
Forum topicThe perfect advanced programming language for the productive industrial developer Adam C2010-12-12 19:11
Forum topicNew Dataflow Programming Language ad1mt2010-11-30 01:24
Forum topicThe barrier to take-up of language innovation ad1mt2010-11-06 03:26
Forum topicwhy inheritence in OOP? ad1mt2012-02-28 13:30
Forum topicwhy first-class functions ad1mt2012-03-02 13:33
Forum topicAlgebraic ABCs - Extending "types" in Python acooke2011-06-08 01:50