Invited to a special issue of papers selected from the 1990 Lisp and Functional Programming Conference. [HMT89 (1992)

by Robert Harper, Robin Milner, Mads Tofte
Venue:Laboratory for the Foundations of Computer Science, University of Edinburgh