Matthieu Sozeau

typetitle sort iconauthorlast post
Forum topicQuestion concerning parameterization over literals shap2009-01-23 19:27
Story On the Strength of Proof-Irrelevant Type Theories James Iry2009-01-16 12:10
Forum topicAny problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) scottmcl2009-01-11 22:50
Forum topic"Determinism" of types? ellisk2009-01-06 17:36
Forum topicThe Lambda Cube & Some Programming Languages Jason Dusek2008-12-31 17:31
StoryFunctional building blocks as concurrency patterns Peter Van Roy2008-12-05 15:58
Forum topicSubtyping + overloading Alex Rubinsteyn2008-11-24 20:24
Forum topicSummary of Dependently Typed Systems? jim burton2008-10-27 12:42
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10
Forum topicF in System F christopher2008-10-21 03:45
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