recent posts

typetitleauthorlast post sort icon
StoryLambda Calculus course (Oxford) Ehud Lamm2006-03-19 14:40
Forum topicVisualisable Languages mansu2006-03-17 16:20
StoryWhen is one thing equal to some other thing? Ehud Lamm2006-03-16 14:55
StoryJOT: On The Next Move in Programming Ehud Lamm2006-03-15 22:47
Forum topicDiesel a successor to the Cecil language snk_kid2006-03-15 22:05
Forum topicRich resource site for the programming language "K" Todd Coram2006-03-14 23:42
Forum topicContract Verification and Structural Subtyping of Interfaces cdiggins2006-03-13 16:59
Forum topicChoosing Conferences Michael Stone2006-03-12 22:27
StoryEmbedded Interpreters Ehud Lamm2006-03-12 06:37
Forum topicFirst Class Copy & Paste marcoil2006-03-11 02:36