recent posts

typetitleauthorlast post sort icon
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
StoryEffective Scala Ehud Lamm2012-02-10 17:22
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
StoryThe Algebra of Data, and the Calculus of Mutation Manuel J. Simoni2012-02-15 00:19
Forum and free to a good home. raganwald2012-02-16 16:17
Forum topicTeaching challenge: culturally enriching formulae-as-types Charles Stewart2012-02-18 22:10
Forum topicR7RS public comment period (June 30, 2012) Manuel J. Simoni2012-02-20 10:55
Forum topicIntroduction to the proof engine for static verification of software hbrandl2012-02-20 17:46
StoryDependently Typed Programming based on Automated Theorem Proving Jacques Carette2012-02-22 18:59
Forum topicSelf-Certification: Bootstrapping Certified Typecheckers dmbarbour2012-02-23 18:23