Higher-order subtyping
Edición de la obra Higher-order subtyping
| Autor | Martin Steffen |
|---|---|
| Editorial | LFCS, Dept. of Computer Science, University of Edinburgh |
| Fecha de publicación | 1994 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 47 |
| Serie | LFCS report series -- ECS-LFCS-94-280 · Interner Bericht -- IMMD7-01 / 94 · Interner Bericht (Friedrich-Alexander-Universität Erlangen-Nürnberg) -- IMMD7-01/94. |
| Número de Cutter | S817h |