Parametric Polymorphism and Operational Equivalence (Preliminary Version)
Open Access
- 1 January 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 10, 2-27
- https://doi.org/10.1016/s1571-0661(05)80685-1
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Relational interpretations of recursive types in an operational setting (Summary)Published by Springer Nature ,1997
- Categorical data types in parametric polymorphismMathematical Structures in Computer Science, 1994
- Formal parametric polymorphismTheoretical Computer Science, 1993
- On Functors Expressible in the Polymorphic Typed Lambda CalculusInformation and Computation, 1993
- The revised report on the syntactic theories of sequential control and stateTheoretical Computer Science, 1992
- Equivalence in functional languages with effectsJournal of Functional Programming, 1991
- Functorial polymorphismTheoretical Computer Science, 1990
- Domain theoretic models of polymorphismInformation and Computation, 1989
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985
- LCF considered as a programming languageTheoretical Computer Science, 1977