recent posts

typetitleauthorlast post sort icon
StoryLinks Demos Matthew Morgan2005-07-01 15:11
Forum topicThe long tail of programming languages Allan McInnes2005-07-01 10:42
Forum topic"dynamic" generative programming? bdenckla2005-06-30 16:37
Forum topicLambda-mu Andris Birkmanis2005-06-30 07:46
Forum topicA Typeful Approach to Object-Oriented Programming with Multiple inheritance Jim Apple2005-06-30 06:53
Forum topicWhy recursing is better than looping johnnyb2005-06-29 20:27
StoryA Formulae-as-Types Interpretation of Subtractive Logic Andris Birkmanis2005-06-29 12:18
Forum topicDyna: a weighted dynamic logic programming language marco2005-06-28 22:28
StoryLambdascope Andris Birkmanis2005-06-28 20:37
StoryGHC Survey Results Matthew Morgan2005-06-28 15:17