recent posts

type sort icontitleauthorlast post
Forum topicOpen Quark (CAL language) 1.4.0 Released luke2007-05-01 17:03
Forum topicArc in action (a.k.a. it's aliiiiive!) Anton van Straaten2007-05-08 01:43
Forum topicGoogle Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism Chris Perkins2007-04-28 19:41
Forum topicAsynchronous sequential processes/Theory of Distributed Objects? Scott Johnson2007-04-25 15:29
Forum topicFormalizing a minimal subset of concatenative languages Daniel Ehrenberg2007-04-23 13:55
Forum topicAlmost invisible upgrade Anton van Straaten2007-05-02 05:44
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
Forum topicActors vs. Reactive Objects Oliver Mooney2007-04-23 15:20
Forum topicEasylanguage: domain specific language for trading stocks shahbaz2009-03-23 03:22
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10