recent posts

typetitleauthor sort iconlast post
Forum topicCertified Programming with Dependent Types: home stretch! Adam Chlipala2012-04-22 22:31
Forum topicANN: Ur/Web: Statically-typed metaprogramming for the web Adam Chlipala2008-10-28 23:49
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 topicStealing language features for fun and profit in Ruby Adam K2006-05-27 14:25
Forum topicIncremental addition of types and contracts Adam Solove2009-09-29 18:04
Forum topicexcitement in language research? adamarthurryan2006-12-13 08:50
Forum topicerlang green threads and the CLR addmoreice2008-06-11 15:21
Forum topicAccording to Allen Holub programming is now a liberal art. When did this happen? ade_oshineye2005-04-16 22:46
Forum topicThe English-Likeness Monster ade_oshineye2005-10-04 23:04