recent posts

type sort icontitleauthorlast post
Forum topicDimensional Analysis in real world and Type Systems sciomako2013-05-20 23:38
Forum topicDead Languages Jim Apple2005-07-11 11:14
Forum topicMinimally typed programs? Mihai Christodorescu2012-11-12 13:48
Forum topicSpeed and semantics in CTM Chap. 1 bdenckla2005-03-24 08:27
Forum topicOsmosian raould2013-05-22 00:07
Forum topicorganizing papers... Matt Hellige2005-07-07 15:32
Forum topicReal-Time Programming and the Big Ideas of Computational Literacy Sean McDirmid2012-10-19 02:48
Forum topicProper tail reflection? Andris Birkmanis2005-03-27 09:42
Forum topicJanus: A Time-Reversible Language Sean McDirmid2013-05-25 11:38
Forum topicLambda-mu Andris Birkmanis2005-06-30 07:46