typetitleauthorlast post sort icon
StoryLightweight Monadic Programming in ML Paul Snively2011-08-10 20:39
StoryDelimited dynamic binding Chung-chieh Shan2011-08-03 11:51
Forum topicImplementor's guide/tutorial to delimited continuations? Manuel J. Simoni2011-08-02 18:56
Forum topicIn search of inspiration Tim van Deurzen2011-05-16 12:17
Forum topicThe AST Typing Problem shap2011-01-19 03:15
StoryType Classes as Objects and Implicits Paul Snively2010-08-26 06:09
Forum topicOverlapping Instances + Functional Dependencies Unsound? shap2010-08-08 15:11
Forum topicLinear & Dependent types of ATS applied to the Cairo graphics library raould2010-05-04 07:37
StoryTagless Staged Interpreters for Simpler Typed Languages Ehud Lamm2010-04-06 00:28
Forum topicGenericity over tuples Alex Rubinsteyn2010-02-03 21:04
Forum topicWhat is a Type? andrew johnson2009-10-28 20:53
Forum topicSwarm now based on Scala 2.8, uses delimited continuations sanity2009-10-02 18:59
Forum topicProgramming (language) puzzles Chung-chieh Shan2009-10-02 17:42
StoryCforall Jim Apple2009-07-21 01:47
Forum topicTotal functional language self interpreter? jason stumpf2009-06-27 13:57
Forum topicBridging the informal and the formal Neil Toronto2009-06-12 21:09
Forum topicAndrej Bauer on PLD Charles Stewart2009-04-27 07:54
StoryClosing the Stage: From Staged Code to Typed Closures Ehud Lamm2009-03-30 23:29
StoryD is for Domain and Declarative Chung-chieh Shan2009-03-25 16:51
Forum topicAre you using delimited continuations? tmoertel2009-01-03 20:56
StoryStaging with Delimited Control Ehud Lamm2008-12-07 20:00
Forum topicA tutorial on implemeting type inference? ellisk2008-11-16 18:43
Forum topicCommon Lisp Exception Handling SamK2008-10-20 00:55
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