recent posts

typetitleauthor sort iconlast post
Forum topicA software engineering problem: how would functional programming solve it? Achilleas Margaritis2005-07-29 10:12
Forum topicPetition for adding garbage collection to C++. Achilleas Margaritis2007-11-20 16:24
Forum topicAlgebraic ABCs - Extending "types" in Python acooke2011-06-08 01:50
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 topicNew Dataflow Programming Language ad1mt2010-11-30 01:24
Forum topicwhy first-class functions ad1mt2012-03-02 13:33
Forum topicThe perfect advanced programming language for the productive industrial developer Adam C2010-12-12 19:11
Forum topicCertified Programming with Dependent Types: home stretch! Adam Chlipala2012-04-22 22:31
Forum topicThe TechEmpower Web Framework Benchmarks Adam Chlipala2014-05-06 11:41