Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn ) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom - Hearn - Document - PDFSEARCH.IO

First Page	Meta Content
	Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom Add to Reading List Document Date: 2002-08-05 10:38:10 Open Document File Size: 273,94 KB Share Result on Facebook

Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United KingdomAdd to Reading List