recent posts

typetitleauthor sort iconlast post
Forum topicThe TechEmpower Web Framework Benchmarks Adam Chlipala2014-05-06 11:41
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 topicPrint release of a textbook on the Coq proof assistant Adam Chlipala2014-01-15 13:50
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 topicThe English-Likeness Monster ade_oshineye2005-10-04 23:04
Forum topicImplementing Higher Order Messages ade_oshineye2005-11-07 19:30