recent posts

typetitleauthor sort iconlast post
Forum topicUpdate to "Parametric Higher-Order Abstract Syntax for Mechanized Semantics" Paul Snively2008-07-08 20:53
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 topicAnnual Peter Landin Semantics Seminar: On correspondences between programming languages & semantic notations: 8th Dec 2014 paulboca2014-07-24 20:46
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 topicBCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon paulboca2017-09-10 18:02
Forum topicSearching for a quote paul_butcher2007-10-31 00:13
Forum topicHelp, this is driving me mad! paul_butcher2009-07-05 12:06
Forum topicWhat is a "fully featured closure"? Request for comments. Pavel Minaev2011-04-10 18:34