recent posts

typetitleauthorlast post sort icon
StoryBarker & Szabolcsi: New directions for proof theory in linguistics Ehud Lamm2007-08-29 19:39
Forum topicSimon Peyton-Jones Haskell Video SamK2007-08-29 01:35
StoryEstablishing Object Invariants with Delayed Types Ehud Lamm2007-08-28 19:42
Forum topicLectures on the Curry-Howard Isomorphism Ehud Lamm2007-08-28 17:18
Forum topicComprehensions with ‘Order by’ and ‘Group by’ Isaac Gouy2007-08-28 10:31
Forum topicYearning for a practical scheme Nathan Sobo2007-08-27 03:37
Forum topicDuck Typing advocated where? paddy31182007-08-27 01:19
StoryVamOz: Visual Abstract Machine for Oz Andris Birkmanis2007-08-25 17:45
StoryAngloHaskell 2007 - date and venue confirmed Philippa Cowderoy2007-08-25 14:58
Forum topicThread-safe Singleton in C# kaveh.shahbazian2007-08-25 10:51