Gavin Mendel-Gleason

typetitleauthorlast post sort icon
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
Forum topicRalph Griswold died Boyko Bantchev2006-10-22 23:39
Forum topicThe fundamental difference between Sets and Lists? Robbert van Dalen2006-04-27 12:55
StoryThe Reasoned Schemer with Oz Chris Rathman2006-04-06 11:44
StoryUniform Proofs as a Foundation for Logic Programming Charles Stewart2006-04-03 12:18
StoryTowards Applicative Relational Programming Charles Stewart2006-03-30 15:46
StoryInterval Computations Ehud Lamm2006-02-22 21:34
StoryConstraint Programming Andris Birkmanis2006-01-12 13:11
StoryAn interview with Chris Date Chris Rathman2005-08-12 21:17
StoryHave scripting languages peaked? Chris Rathman2005-08-11 14:20
StoryProgramming Paradigms of the Andorra Kernel Language Andris Birkmanis2005-08-03 22:55