recent posts

typetitleauthorlast post sort icon
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
StoryRevisiting coroutines Andris Birkmanis2005-06-28 07:04
StoryHow To Read a Paper Ehud Lamm2005-06-27 11:09
StoryLispNYC's proposed Summer of Code projects Ehud Lamm2005-06-26 18:39