recent posts

type sort icontitleauthorlast post
Forum topicwhat a type system always proves vs. what it can be made to prove bdenckla2008-06-10 17:56
Forum topicA glimpse into a new general purpose programming language under development at Microsoft Charles Torre2014-01-27 05:08
Forum topicRole of Types in Evaluation Strategy cdiggins2008-03-22 12:39
Forum topicSo You are Thinking of Doing a PhD... naasking2013-07-03 13:51
Forum topicResolved Debates in Syntax Design ? gasche2009-08-13 00:06
Forum topicNew Server Anton van Straaten2005-08-27 19:46
Forum topicHa? Ehud Lamm2009-08-13 08:52
Forum topicerlang green threads and the CLR addmoreice2008-06-11 15:21
Forum topicAlternative implementation of closures in C andrew johnson2013-12-29 16:07
Forum topicReplace heads function in Lisp AceKnocks2008-03-20 06:47