recent posts

typetitleauthor sort iconlast post
StoryHashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. Paul Snively2008-01-17 00:24
StoryLightweight Static Capabilities Paul Snively2009-01-30 06:55
Forum topicAnnual Peter Landin Seminar: 6 December 2011, 6pm, Covent Garden, London. Speaker: Prof Cliff Jones paulboca2011-10-22 10:56
Forum topicAnnual Peter Landin Semantics Seminar, 3 December, BCS London:Unifying Theories of programming, Professor Sir Tony Hoare, London paulboca2012-10-28 16:24
Forum topicPeter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London -- speaker: Prof. John Reynolds paulboca2010-11-04 11:38
Forum topicAnnual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London paulboca2013-10-03 17:00
Forum topicBCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon paulboca2017-09-10 18:02
Forum topicAnnual Peter Landin Semantics Seminar: On correspondences between programming languages & semantic notations: 8th Dec 2014 paulboca2014-07-24 20:46
Forum topicIs there a functional language with explicit limits on the heap(s)? Paulo Torrens2018-03-13 11:45
Forum topicHelp, this is driving me mad! paul_butcher2009-07-05 12:06