Matthieu Sozeau

typetitleauthorlast post sort icon
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryUsing Category Theory to Design Implicit Conversions and Generic Operators neelk2014-02-18 10:50
Forum topicWorkshop on Probabilistic Programming in December Daniel Roy2013-01-23 15:36
StoryThe YNot Project Paul Snively2012-08-17 23:32
Forum topicSimply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Greg Buchholz2010-10-22 21:48
StoryAn intuitionistic logic that proves Markov's principle neelk2010-07-07 08:23
Forum topicTotal functional language self interpreter? jason stumpf2009-06-27 13:57
Forum topicThe deBrujin Criterion and the "LCF Approach". Jason Dusek2009-04-29 22:57
Forum topicMicrosoft PDC "Language" Talks shahbaz2009-02-12 12:16
Forum topicNon-standard type theories for FP marco2009-01-25 03:59
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