recent posts

typetitle sort iconauthorlast post
Forum topic System F with Type Equality Coercions genneth2006-04-13 21:14
Forum topic SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS? hWnd2008-06-25 15:20
Story subtext: Uncovering the simplicity of programming Ehud Lamm2005-05-12 20:49
Story Species: making analytic functors practical for functional programming neelk2008-05-30 04:45
Story Simon Peyton Jones: Beautiful concurrency Ehud Lamm2008-06-03 09:53
Forum topic Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus raould2016-05-06 05:29
Forum topic Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest Morten Kromberg2010-06-11 02:49
Story On the Strength of Proof-Irrelevant Type Theories James Iry2009-01-16 12:10
Forum topic Monad Description For Imperative Programmer kaveh.shahbazian2007-08-22 18:10
Forum topic Looking for a little advice with implementing recursion. Clarkd2013-03-12 08:59