type | title | author | last post  |
Story | Functional Pearl: Type-safe pattern combinators | naasking | 2016-09-16 18:18 |
Forum topic | Typed Lambda Calculus | marcosag | 2010-05-05 21:11 |
Forum topic | Claiming Infinity | Julian Rohrhuber | 2010-02-03 12:53 |
Story | An Innocent Model of Linear Logic | Anton van Straaten | 2009-12-19 09:26 |
Story | Have your AHOS and eat HOAS too! | Charles Stewart | 2009-10-23 16:33 |
Forum topic | Algorithms for inferring most specific types? | billtohara | 2009-10-14 06:41 |
Forum topic | ICFP 2009 videos | dpmulligan | 2009-10-06 05:15 |
Forum topic | Looking for list of programming problems to thoroughly test a language | derekp | 2009-05-04 18:46 |
Forum topic | Fundamental Flaws in Current Programming Language Type Systems | Bruce Rennie | 2009-01-16 16:42 |
Forum topic | "Determinism" of types? | ellisk | 2009-01-06 17:36 |
Forum topic | Current "hot" topics in parallel programming? | Michael Lesniak | 2008-11-21 09:00 |
Forum topic | Summary of Dependently Typed Systems? | jim burton | 2008-10-27 12:42 |
Forum topic | Dead-end theorems | Ehud Lamm | 2008-06-03 16:13 |
Story | Expressing Heap-shape Contracts in Linear Logic | neelk | 2007-03-12 16:10 |
|
Recent comments
36 weeks 2 days ago
36 weeks 3 days ago
36 weeks 3 days ago
1 year 6 weeks ago
1 year 10 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago
1 year 15 weeks ago
1 year 19 weeks ago
1 year 19 weeks ago