Higher-order subtyping :: Martin Steffen :: LFCS, Dept. of Computer Science, University of Edinburgh 1994 :: OBNB, the Open British National Bibliography

Publication Data

Title Higher-order subtyping
Author Martin Steffen
Contributors Benjamin C. Pierce, Benjamin C. Pierce, Friedrich-Alexander-Universität Erlangen-Nürnberg
Publisher LFCS, Dept. of Computer Science, University of Edinburgh
Publication date 1994
Publication location Edinburgh
Language English

Descriptive Notes

Caption title.

Topics

Lambda calculus
Object-oriented programming (Computer science)

Catalogue Data

OBNB ID GB9454681
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1008>Rev. Rev. version with fun subtyping
P1053 47 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Higher-order subtyping by Martin Steffen. Published by LFCS, Dept. of Computer Science, University of Edinburgh in 1994. Publication and catalogue information, links to buy online and reader comments.