Jacques Carette

typetitleauthorlast post sort icon
Forum topicExpect New Major Language Within Five Years Anton van Straaten2007-04-17 01:00
StoryRZ: a tool for bringing constructive and computable mathematics closer to programming practice neelk2007-04-11 15:29
Forum topicAldor going open source Jim Apple2007-04-09 22:07
Forum topicFunctions shouldn't be lists, functions should be cast to lists cdiggins2007-04-08 19:49
Forum topicDynamic Semantics Hank Thediek2007-04-07 22:57
StoryA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Paul Snively2007-03-28 14:31
StoryNo Ifs, Ands, or Buts Matt Hellige2007-03-27 12:37
Forum topicSubject headings Jeff Nowakowski2007-03-22 21:37
StoryAn Intensional Type Theory: Motivation and Cut-Elimination neelk2007-03-19 11:13
StoryConcoqtion: Indexed Types Now! Paul Snively2007-03-13 15:11
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