recent posts

typetitleauthor sort iconlast post
Forum topicexcitement in language research? adamarthurryan2006-12-13 08:50
Forum topicIncremental addition of types and contracts Adam Solove2009-09-29 18:04
Forum topicStealing language features for fun and profit in Ruby Adam K2006-05-27 14:25
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 topicANN: Ur/Web: Statically-typed metaprogramming for the web Adam Chlipala2008-10-28 23:49
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
Forum topicTesting release of a platform for hosting pure functional web applications Adam Chlipala2010-02-26 23:30
Forum topicThe perfect advanced programming language for the productive industrial developer Adam C2010-12-12 19:11