Gavin Mendel-Gleason

typetitleauthorlast post sort icon
Forum topicAre nested SQL statements monads? sciomako2012-11-29 10:59
StoryDecidability of Higher Order Matching neelk2011-08-02 12:19
StoryInvertible Syntax Descriptions: Unifying Parsing and Pretty Printing James Iry2011-02-05 00:39
StoryAzul's Pauseless Garbage Collector James Iry2011-01-03 11:36
Forum topicStatic Typing Where Possible, Dynamic Typing When Needed Isaac Gouy2010-04-20 22:32
StoryJohn Hughes on Erlang and Haskell James Iry2009-12-02 10:16
StoryLNGen Paul Snively2009-05-14 09:02
Forum topicDoes anyone know of work done on co-data-types? David Minor2009-01-30 22:27
StoryPrediction for 2008 Ehud Lamm2008-12-29 15:56
Forum topicOngoing work on Supercompilation of Java code (or supercompilation in general)? sanity2008-08-20 12:02
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