An Algebraic View on Recursive Types (1996)
Cached
Download Links
- [www.mathematik.tu-darmstadt.de]
- [ftp.mathematik.tu-darmstadt.de]
- DBLP
Other Repositories/Bibliography
by
Michael Marz
| Venue: | Applied Categorical Structures |
| Citations: | 1 - 0 self |
BibTeX
@ARTICLE{Marz96analgebraic,
author = {Michael Marz},
title = {An Algebraic View on Recursive Types},
journal = {Applied Categorical Structures},
year = {1996},
volume = {7},
pages = {147--157}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper is a translated extract of my diploma thesis, see [Mar95]. I would like to thank Pawe/l Urzyczyn for some useful hints, Martin Hofmann, Mathias Kegelmann and Hermann Puhlmann for their careful proof reading, and especially Achim Jung for his stimulating supervision
Citations
| 474 | Lambda Calculi with Types - Barendregt - 1992 |
| 258 | Semantics of programming languages: structures and techniques - Gunter - 1992 |
| 81 | Inductive Types and Type Constraints in the Second-Order Lambda Calculus. Annals of pure and Applied logic 51 - Mendler - 1991 |
| 41 | Type inference with recursive types: syntax and semantics - Coppo, Dezani-Ciancaglini, et al. |
| 10 | Positive recursive type assignment - Urzyczyn - 1995 |
| 10 | Typeability and type checking in Second W order -calculus are equal and undecidable - Wells - 1994 |
| 5 | Recursive types and the subject reduction theorem - Statman - 1994 |
| 1 | Monomorphe Typsysteme des -Kalkuls, Juni - Marz - 1995 |
