type  title  author  last post 
Forum topic  Question concerning parameterization over literals  shap  20090123 19:27 
Story  On the Strength of ProofIrrelevant Type Theories  James Iry  20090116 12:10 
Forum topic  Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)  scottmcl  20090111 22:50 
Forum topic  "Determinism" of types?  ellisk  20090106 17:36 
Forum topic  The Lambda Cube & Some Programming Languages  Jason Dusek  20081231 17:31 
Story  Functional building blocks as concurrency patterns  Peter Van Roy  20081205 15:58 
Forum topic  Subtyping + overloading  Alex Rubinsteyn  20081124 20:24 
Forum topic  Summary of Dependently Typed Systems?  jim burton  20081027 12:42 
Forum topic  Course on Interactive Computer Theorem Proving Based on Coq  Paul Snively  20081023 11:10 
Forum topic  F in System F  christopher  20081021 03:45 
Forum topic  Typing a function which includes its axioms?  Bryan Turner  20080917 22:35 
Forum topic  Applied Type System vs. Epigram  naasking  20080916 06:44 
Forum topic  Is null needed?  BigZaphod  20080809 00:52 
Forum topic  Type classes and type generator restrictions  Douglas McClean  20080728 09:02 
Forum topic  Breaking region nesting in typeandeffect systems?  naasking  20080624 17:03 
Story  Algebra of programming using dependent types  Matt Hellige  20080416 07:27 
Forum topic  Rewriting rules for deducing properties of functions  cdiggins  20080407 13:25 
Forum topic  Lanugages with builtin rules/tests?  raould  20080211 17:01 
Forum topic  Typesafe printf using delimited continuations, in Coq  Matthieu Sozeau  20080124 14:36 
Forum topic  Induction of variadic functions, functions over tuples, etc.  shoe  20080123 08:03 
Forum topic  Extending HM type inference  would this be possible? Or even desirable?  Ingo Wechsung  20070916 13:28 
Forum topic  Why is there not a PL with a mathematical type system?  gueven  20070425 14:14 
Story  A Certified TypePreserving Compiler from Lambda Calculus to Assembly Language  Paul Snively  20070328 14:31 
Story  Concoqtion: Indexed Types Now!  Paul Snively  20070313 15:11 

Recent comments
14 hours 37 min ago
17 hours 56 min ago
2 days 12 hours ago
2 days 13 hours ago
2 days 20 hours ago
2 days 21 hours ago
3 days 6 hours ago
3 days 6 hours ago
3 days 6 hours ago
3 days 8 hours ago