Gavin Mendel-Gleason

type sort icontitleauthorlast post
Forum topicIs null needed? BigZaphod2008-08-09 00:52
Forum topicDependent Types, Generic Programming and Overloading. Serguey Zefirov2008-05-23 00:35
Forum topicfuture history of logic programming el-vadimo2008-05-08 11:59
Forum topicLanguages best suited for scientific computing? JustinTrellis2008-04-24 18:59
Forum topicRewriting rules for deducing properties of functions cdiggins2008-04-07 13:25
Forum topicRelational rather than hierarchical OO packaging? raould2008-03-26 22:03
Forum topicRole of Types in Evaluation Strategy cdiggins2008-03-22 12:39
StoryApplied Metamodelling: A Foundation for Language Driven Development cdiggins2008-03-20 21:35
Forum topicConfused Deputies in Programming Languages naasking2008-03-18 02:47
Forum topicNew to FP Barun Mishra2008-03-12 14:11
StoryUniqueness Typing Simplified naasking2008-03-05 14:34
Forum topicexceptions again raould2008-02-28 18:08
Forum topicLanugages with built-in rules/tests? raould2008-02-11 17:01
Forum topicCyclic Proofs for First-Order Logic with Inductive Definitions Gavin Mendel-Gleason2008-01-28 20:51
Forum topicType-safe printf using delimited continuations, in Coq Matthieu Sozeau2008-01-24 14:36
Forum topicCo-Logic Programming Gavin Mendel-Gleason2007-10-27 07:31
Forum topicTotal Functional Programming Greg Buchholz2007-05-27 20:18
Forum topicType inference and union types Thomas_C2007-04-29 19:36
Forum topicPutting functional database theory into practice: NixOS Gavin Mendel-Gleason2007-04-05 10:51
StoryThe New Twelf Wiki neelk2007-03-23 00:49
Forum topicAutomata-Based Programming Hank Thediek2007-02-22 17:13
Forum topicpath-sensitive dataflow analysis. How? jonathan h.2006-12-15 20:58
StoryMechanized Metatheory Model-Checking Jim Apple2006-12-11 21:44
Forum topicPeyton-Jones and Harris discuss STM (1h video) peter steiner2006-11-24 16:17
StoryA Very Modal Model of a Modern, Major, General Type System Ehud Lamm2006-11-08 20:17