recent posts

typetitleauthor sort iconlast post
StoryLightweight Static Capabilities Paul Snively2009-01-30 06:55
StorySage: A Programming Language With Hybrid Type-Checking Paul Snively2006-11-02 17:52
StoryType inference for correspondence types Paul Snively2008-12-09 18:46
StoryDana Paul Snively2009-02-28 13:41
Forum topicCourse on Interactive Computer Theorem Proving Based on Coq Paul Snively2008-10-23 11:10
StoryScala Days at EPFL, Lausanne, Switzerland Paul Snively2010-01-24 19:23
Forum topicTim Sweeney on Epic Games' History Paul Snively2009-05-27 07:14
Forum topicAnnual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London paulboca2013-10-03 17:00
Forum topicPeter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London -- speaker: Prof. John Reynolds paulboca2010-11-04 11:38
Forum topicBCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon paulboca2017-09-10 18:02