Subtyping Recursive Types in Kernel Fun (1999)
Cached
Download Links
- [tql.di.unipi.it]
- [ftp.di.unipi.it]
- [www.di.unipi.it]
- DBLP
Other Repositories/Bibliography
by
Dario Colazzo
,
Giorgio Ghelli
| Venue: | In IEEE Symposium on Logic in Computer Science (LICS |
| Citations: | 6 - 1 self |
BibTeX
@INPROCEEDINGS{Colazzo99subtypingrecursive,
author = {Dario Colazzo and Giorgio Ghelli},
title = {Subtyping Recursive Types in Kernel Fun},
booktitle = {In IEEE Symposium on Logic in Computer Science (LICS},
year = {1999},
pages = {137--146}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subtyping and parametric polymorphism, only negative results are known [17].
