typetitleauthorlast post sort icon
StoryFunctional Pearl: Type-safe pattern combinators naasking2016-09-16 18:18
Forum topicTyped Lambda Calculus marcosag2010-05-05 21:11
Forum topicClaiming Infinity Julian Rohrhuber2010-02-03 12:53
StoryAn Innocent Model of Linear Logic Anton van Straaten2009-12-19 09:26
StoryHave your AHOS and eat HOAS too! Charles Stewart2009-10-23 16:33
Forum topicAlgorithms for inferring most specific types? billtohara2009-10-14 06:41
Forum topicICFP 2009 videos dpmulligan2009-10-06 05:15
Forum topicLooking for list of programming problems to thoroughly test a language derekp2009-05-04 18:46
Forum topicFundamental Flaws in Current Programming Language Type Systems Bruce Rennie2009-01-16 16:42
Forum topic"Determinism" of types? ellisk2009-01-06 17:36
Forum topicCurrent "hot" topics in parallel programming? Michael Lesniak2008-11-21 09:00
Forum topicSummary of Dependently Typed Systems? jim burton2008-10-27 12:42
Forum topicDead-end theorems Ehud Lamm2008-06-03 16:13
StoryExpressing Heap-shape Contracts in Linear Logic neelk2007-03-12 16:10