Higher-order subtyping
By: Martin Steffen, Benjamin Pierce.
Contributors: Pierce, Benjamin C.; University of Edinburgh. Laboratory for Foundations of Computer Science.; Friedrich-Alexander-Universität Erlangen-Nürnberg.
Edition: Rev. version with fun subtyping.
Series: LFCS report series -- ECS-LFCS-94-280; Interner Bericht -- IMMD7-01 / 94; Interner Bericht (Friedrich-Alexander-Universität Erlangen-Nürnberg) -- IMMD7-01/94.
Publisher: LFCS, Dept. of Computer Science, University of Edinburgh
Published: 1994
Place of publication: Edinburgh
Language: eng
Number of pages: 47
Subjects: Lambda calculus.; Object-oriented programming (Computer science)
Notes: Caption title.

Includes bibliographical references.