Rich Dougherty

type sort icontitleauthorlast post
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
Forum topicGoogle's Dart announced vieiro2012-12-30 17:29
Forum topicGo or Unladen Swallow? Srikumar Subramanian2011-02-07 08:56
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
StoryCertified Programming With Dependent Types Goes Beta Paul Snively2010-01-16 00:10
StoryVerified Just-In-Time Compiler on x86 Dave Herman2010-01-13 02:02
StoryBuilding a Modern Computer From First Principles Ehud Lamm2009-03-30 07:07
StoryFrom shift and reset to polarized linear logic Andris Birkmanis2009-03-10 08:47
Forum topicA tutorial on implemeting type inference? ellisk2008-11-16 18:43
StoryHappy Birthday, dear Lambda! Ehud Lamm2008-08-08 14:50
StoryRPC Under Fire Ehud Lamm2005-09-23 16:58
Forum topicSyntax Design C G2005-08-19 14:11
Forum topicMemory fault and segmentation faults pakumar212005-08-04 21:46
Forum topicEmbedded Languages in Java andrew cooke2005-07-12 16:24
Forum topicdata locality and data structures shahbaz2005-06-14 17:22
Forum topicWhat will Apple's move to Intel mean for Alternative Language Communities? Peter J. Wasilko2005-06-10 21:13
Storyjhc Ehud Lamm2005-04-20 18:14