Relational interpretations of recursive types in an operational setting (Summary)
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 458-490
- https://doi.org/10.1007/bfb0014563
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Recursive types reduced to inductive typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Relational Properties of DomainsInformation and Computation, 1996
- Lambda-calculus schemataHigher-Order and Symbolic Computation, 1993
- Typing first-class continuations in MLJournal of Functional Programming, 1993
- Revised 4 report on the algorithmic language schemeACM SIGPLAN Lisp Pointers, 1991
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- Typing first-class continuations in MLPublished by Association for Computing Machinery (ACM) ,1991
- Type Systems for Programming LanguagesPublished by Elsevier ,1990
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975