Jacques Carette

typetitleauthorlast post sort icon
Story50 years of “Syntactic Structures” Ehud Lamm2007-02-13 03:31
StoryIs "post OO" just over? Kay Schluehr2007-02-07 21:08
StoryThe Future of LtU Ehud Lamm2006-12-26 02:37
StoryGoogle Code Search Jacques Carette2006-10-07 13:56
Forum topicICFP proceedings / Scheme workshop dbfaken2006-09-27 01:34
Forum topicClosures for Java or money back el-vadimo2006-09-23 19:16
StoryTopology in Programming Language Semantics Jacques Carette2006-09-03 14:13
StoryTypeCase: A Design Pattern for Type-Indexed Functions Ehud Lamm2006-07-25 15:23
StoryZipper-based file server/OS shapr2006-07-13 10:13
StoryMathLang Jim Apple2006-05-14 11:00
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