Jacques Carette

type sort icontitleauthorlast post
StoryNative delimited continuations in (byte-code) OCaml Ehud Lamm2006-04-12 22:38
Forum topicMcBride Derivative paper keithb2006-02-28 23:33
Forum topicBruce Tate: Technologies that may challenge Java shahbaz2006-01-12 06:01
StoryThe undergraduate language course: what to do? Chung-chieh Shan2005-12-27 15:53
Forum topicThe Type-System-Feature-Creep Death Spiral jesuswaffle2005-11-02 17:15
Forum topicnew GUI paradigm Jacques Carette2005-10-14 15:00
StoryDistributive laws for the Coinductive Solution of Recursive Equations Ehud Lamm2005-09-14 02:56
Forum topicCombining Theorem Proving and Programming carter2005-09-09 22:32
Forum topicLearning to Program with Alice (not Mozart/Oz ML) Isaac Gouy2005-08-31 00:31
Forum topic"dynamic" generative programming? bdenckla2005-06-30 16:37
Forum topicBasic(er) Simple(r) Type Theory(?) jimdesu2005-06-18 20:25
StoryDifferentiating Data Structures Ehud Lamm2005-05-28 15:17
Forum topicContext Free: Grammars as Graphics MtnViewMark2005-05-27 01:09
Forum topicVirtual Machine and Runtime Framework Nicolas Cannasse2005-04-29 13:41
Forum topicHow widespread are inhouse DSLs? Ehud Lamm2005-04-19 16:42
Forum topicHistory: Array languages James Hague2005-02-17 12:06
StoryCode Generation with Python, Cog, and Nant Ehud Lamm2005-02-13 19:13
Forum topicIncompleteness in semantics and parallel-or Jacques Carette2005-01-14 03:32
Forum topicDefinition of Type cdiggins2004-12-09 11:42
Forum topicGrad School [Master's Programs] tofupup2004-10-31 01:08