recent posts

type sort icontitleauthorlast post
StoryDesign Patterns as Higher-Order Datatype-Generic Programs. Ehud Lamm2006-04-15 01:01
StoryLambda Calculus course (Oxford) Ehud Lamm2006-03-19 14:40
StoryGosling vs. Dynamic Languages Ehud Lamm2006-03-31 21:53
StoryGoogle Magic Erik Meijer2006-03-28 19:35
StoryContributing Editors? Ehud Lamm2006-04-17 14:10
StoryGeneric Haskell II Jim Apple2006-03-28 12:58
StoryTransactional Memory with data invariants (draft sequel to the STM-Haskell paper) shapr2006-05-17 12:42
StoryClass decorators in Python Ehud Lamm2006-03-30 15:51
StoryUniform Proofs as a Foundation for Logic Programming Charles Stewart2006-04-03 12:18
StoryThe Reasoned Schemer with Oz Chris Rathman2006-04-06 11:44