Matthieu Sozeau

typetitleauthorlast post sort icon
Forum topicTyping a function which includes its axioms? Bryan Turner2008-09-17 22:35
Forum topicApplied Type System vs. Epigram naasking2008-09-16 06:44
Forum topicIs null needed? BigZaphod2008-08-09 00:52
Forum topicType classes and type generator restrictions Douglas McClean2008-07-28 09:02
Forum topicBreaking region nesting in type-and-effect systems? naasking2008-06-24 17:03
StoryAlgebra of programming using dependent types Matt Hellige2008-04-16 07:27
Forum topicRewriting rules for deducing properties of functions cdiggins2008-04-07 13:25
Forum topicLanugages with built-in rules/tests? raould2008-02-11 17:01
Forum topicType-safe printf using delimited continuations, in Coq Matthieu Sozeau2008-01-24 14:36
Forum topicInduction of variadic functions, functions over tuples, etc. shoe2008-01-23 08:03
Forum topicExtending HM type inference -- would this be possible? Or even desirable? Ingo Wechsung2007-09-16 13:28
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
StoryA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Paul Snively2007-03-28 14:31
StoryConcoqtion: Indexed Types Now! Paul Snively2007-03-13 15:11