## 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}

}

### 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].