recent posts

typetitle sort iconauthorlast post
Story Howard on Curry-Howard bashyal2014-08-31 08:03
Story ICFP Programming Contest 2018 Ehud Lamm2018-07-21 15:13
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03
Story JDeveloperAOP Ehud Lamm2004-07-27 02:46
Story John C Reynolds Doctoral Dissertation Award nominations for 2014 Ehud Lamm2014-12-01 08:41
Story Language affects 'half of vision' Ehud Lamm2006-01-03 10:20
Forum topic Lisaac: The power of simplicity at work for operating systems naasking2008-09-22 13:42
Forum topic Looking for a little advice with implementing recursion. Clarkd2013-03-12 08:59
Forum topic Monad Description For Imperative Programmer kaveh.shahbazian2007-08-22 18:10
Story On the Strength of Proof-Irrelevant Type Theories James Iry2009-01-16 12:10