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 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 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 Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software ade_oshineye2005-02-15 21:26
Forum topicAccording to Allen Holub programming is now a liberal art. When did this happen? ade_oshineye2005-04-16 22:46