Derek Dreyer

typetitleauthorlast post sort icon
StoryInformed dissent: William Cook contra Bob Harper on OOP Ehud Lamm2012-09-29 09:12
StoryHow to Make Ad Hoc Proof Automation Less Ad Hoc Paul Snively2012-07-24 00:43
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
Forum topicReferences about the importance of formalism in programming language design giuseppemag2012-03-30 05:42
Forum topicmodules are anti-modular el-vadimo2011-06-27 17:31
Forum topicTyped Lambda Calculus marcosag2010-05-05 21:11
Forum topicIncremental addition of types and contracts Adam Solove2009-09-29 18:04
StoryPL Grand Challenges Ehud Lamm2009-02-10 16:09