A Simple Semantics for Polymorphic Recursion
Abstract elided by the publisher.
Related papers
- The Simple Essence of Monomorphization OOPSLA 2025
- Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics APLAS 2010
- Direct Foundations for Compositional Programming ECOOP 2022
- Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation POPL 2014
- Type-safe run-time polytypic programming JFP 2006
- Parametric Subtyping for Structural Parametric Polymorphism POPL 2024
- Data Types as Values: Polymorphism, Type-Checking, Encapsulation POPL 1978
- Parametric polymorphism and semantic subtyping: the logical connection ICFP 2011