[TYPES/announce] LFCS 30th anniversary celebration + WadlerFest, 11-13 April 2016, Edinburgh

2016-02-01 Thread Don Sannella
h April. http://www.epay.ed.ac.uk/browse/product.asp?compid=1&modid=2&catid=42 Stephen Gilmore Sam Lindley Magdalena Mazurczak Don Sannella -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

types-announce@lists.seas.upenn.edu

2010-02-05 Thread Don Sannella
enquiries to j...@contemplateltd.com. -- Don Sannella d.sanne...@contemplateltd.com Contemplate Ltd www.contemplateltd.com