recent posts

type sort icontitleauthorlast post
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
Forum topicPersonal messages Jeff Nowakowski2007-04-15 19:02
Forum topicThoughts about the Best Introductory Language shlomif2007-05-01 05:23