recent posts

typetitle sort iconauthorlast post
Forum topicCovariance issue when extending "enter" part in BETA? Tim Foley2014-07-13 15:36
Forum topicCovariance and typing dataangel2006-08-05 13:21
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10
Forum topicCourse in mathematical logic with applications to computer science L Spice2009-10-19 07:01
Forum topicCourse focusing on JIT compilers? michaelw2010-02-04 16:43
Forum topicCoupling of concepts - good or bad Andris Birkmanis2005-08-09 19:24
Forum topicCountering Trusting Trust through Diverse Double-Compiling Curt Sampson2005-12-28 22:50
StoryCost semantics for functional languages gasche2014-08-21 22:00
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Forum topicCorrectness proofs demonstrated with natural numbers hbrandl2011-09-14 20:34