recent posts

typetitle sort iconauthorlast post
Forum topic Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus raould2016-05-06 05:29
Story Simon Peyton Jones: Beautiful concurrency Ehud Lamm2008-06-03 09:53
Story Species: making analytic functors practical for functional programming neelk2008-05-30 04:45
Story subtext: Uncovering the simplicity of programming Ehud Lamm2005-05-12 20:49
Forum topic SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS? hWnd2008-06-25 15:20
Forum topic System F with Type Equality Coercions genneth2006-04-13 21:14
Forum topic The hits and misses of Microsoft Ehud Lamm2008-07-12 07:25
Story Wadler's Blog: Penn, PADL, POPL, and Plan-X Ehud Lamm2008-04-09 19:45
Story Wobbly types Bryn Keller2004-07-25 04:21
Forum topic"... because common people think like so-and-so..." Albert Y.C. Lai2004-09-20 14:30