Explicit substitutions/

Other Authors: Abadi, Martin
Format: Book
Language:English
Published: California: Digital Systems Research Center, c1990
Series:Digital Systems Research Center reports ; 54
Subjects:
Item Description:This paper was presented at the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1990
Physical Description:56 p. ; 28 cm.
Bibliography:Includes bibliographical references