recent posts

type sort icontitleauthorlast post
StoryFunctional and Declarative Programming in Education (FDPE05) Ehud Lamm2005-05-11 08:02
StoryStrange Loop 2012 Video Schedule Ehud Lamm2012-10-28 21:46
StoryGenerics are a mistake? Anton van Straaten2005-07-17 18:25
StoryPython Challenge Ehud Lamm2005-05-13 13:48
StoryMilner Symposium 2012 Ohad Kammar2012-10-22 07:46
StoryBarker & Szabolcsi: New directions for proof theory in linguistics Ehud Lamm2007-08-29 19:39
StoryDesign Philosophy of Distributed Programming in Mozart Peter Van Roy2005-05-11 12:14
StoryThe Development of Intuitionistic Logic Charles Stewart2008-07-21 16:40
StoryCOLA Brainfuck Manuel J. Simoni2008-05-04 06:41
StoryEscape from Zurg: An Exercise in Logic Programming Andris Birkmanis2008-08-27 02:45