Title :
Syntactic considerations on recursive types
Author :
Abadi, Martín ; Fiore, Marcelo P.
Author_Institution :
Digital Equipment Corp., USA
Abstract :
We study recursive types from a syntactic perspective. In particular, we compare the formulations of recursive types that are used in programming languages and formal systems. Our main tool is a new syntactic explanation of type expressions as functors. We also introduce a simple logic for programs with recursive types in which we carry out our proofs
Keywords :
formal logic; programming languages; programming theory; recursive functions; type theory; formal systems; programming languages; proofs; recursive types; simple logic; type expressions; Computer languages; Logic programming;
Conference_Titel :
Logic in Computer Science, 1996. LICS '96. Proceedings., Eleventh Annual IEEE Symposium on
Conference_Location :
New Brunswick, NJ
Print_ISBN :
0-8186-7463-6
DOI :
10.1109/LICS.1996.561324
