typetitleauthor sort iconlast post
Forum topicGADT vs. Type Classes Greg Buchholz2013-04-22 22:24
StorySimple Generators v. Lazy Evaluation Manuel J. Simoni2013-02-26 12:23
Forum topicAre nested SQL statements monads? sciomako2012-11-29 10:59
StoryOleg: An argument against call/cc bashyal2012-09-13 17:06
Forum topicThe Economist: Language and Computers: Why language isn't computer code kms2012-08-11 20:37
StoryOn Understanding Data Abstraction, Revisited Z-Bo2012-06-28 01:36
Forum topicThe Monad.Reader Wouter Swierstra2012-04-11 12:54
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
StoryExtensible Programming with First-Class Cases naasking2011-11-05 14:53
Forum topicHow to classify type of ML's exn ? (Naive question) scottmcl2011-09-19 08:06
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