recent posts

typetitleauthor sort iconlast post
StoryDana Paul Snively2009-02-28 13:41
StoryLNGen Paul Snively2009-05-14 09:02
StoryOCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language Paul Snively2007-11-28 18:52
StoryConcoqtion: Indexed Types Now! Paul Snively2007-03-13 15:11
StoryA Generic Type-and-Effect System Paul Snively2009-04-17 17:39
StoryCol--an O'Caml syntax extension for easier manipulation of flat records, objects or tuples and conversions from/to CSV file Paul Snively2006-05-08 04:33
StoryConcoqtion: Mixing Indexed Types and Hindley-Milner Type Inference Paul Snively2006-08-30 17:55
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