recent posts

typetitleauthor sort iconlast post
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 topicIs there a functional language with explicit limits on the heap(s)? Paulo Torrens2018-03-13 11:45
Forum topicHow to generate branch tables from SSA form? Paulo Torrens2018-08-25 02:29
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
Forum topicModern Shell Language Pavel P2014-04-06 11:51
Forum topicNew programming language Ya Pavel Senatorov2013-09-11 21:25