Syntactic considerations on recursive types
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...
Saved in:
Published in | Proceedings 11th Annual IEEE Symposium on Logic in Computer Science pp. 242 - 252 |
---|---|
Main Authors | , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
1996
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | 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. |
---|---|
ISBN: | 0818674636 9780818674631 |
ISSN: | 1043-6871 2575-5528 |
DOI: | 10.1109/LICS.1996.561324 |