recent posts

typetitle sort iconauthorlast post
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03
Story Howard on Curry-Howard bashyal2014-08-31 08:03
Forum topic FringeDC Informal Meeting Saturday Nov 10 drcode2007-11-06 14:17
Forum topic FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software drcode2008-01-07 07:08
Story Don Syme receives a medal for F# Ohad Kammar2015-07-06 18:06
Forum topic Compiler Technology for Scalable Architectures OwcA2006-03-02 01:52
Forum topic Colorful dominoes game hides an exercise in propositional logic jasha1232010-01-08 10:29
Story Build your own scripting language for Java Chris Rathman2006-05-03 01:12
Story Behaviour: Using CSS selectors to apply Javascript functionality Ehud Lamm2005-07-05 05:58
Forum topic Algorithmically Unbounded Journal of Mathematical Truths Philip Dorrell2004-10-25 18:56