recent posts

typetitle sort iconauthorlast post
Story Constraint-Based Type Inference for Guarded Algebraic Data Types Ehud Lamm2004-06-21 11:36
Story A Tutorial on Proof Theoretic Foundations of Logic Programming Ehud Lamm2005-03-21 08:30
Forum topic Algorithmically Unbounded Journal of Mathematical Truths Philip Dorrell2004-10-25 18:56
Story Behaviour: Using CSS selectors to apply Javascript functionality Ehud Lamm2005-07-05 05:58
Story Build your own scripting language for Java Chris Rathman2006-05-03 01:12
Forum topic Colorful dominoes game hides an exercise in propositional logic jasha1232010-01-08 10:29
Forum topic Compiler Technology for Scalable Architectures OwcA2006-03-02 01:52
Story Don Syme receives a medal for F# Ohad Kammar2015-07-06 18:06
Forum topic FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software drcode2008-01-07 07:08
Forum topic FringeDC Informal Meeting Saturday Nov 10 drcode2007-11-06 14:17