A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
From MaRDI portal
Publication:6065507
DOI10.1017/s0956796823000047arXiv2209.08511MaRDI QIDQ6065507
Publication date: 11 December 2023
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2209.08511
68N18: Functional programming and lambda calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Syntactic Logical Relations for Polymorphic and Recursive Types
- Biorthogonality, step-indexing and compiler correctness
- Imperative self-adjusting computation
- A bisimulation for type abstraction and recursion
- Logical relations and the typed λ-calculus
- The coherence of languages with intersection types
- A kripke logical relation between ML and assembly
- Intensional interpretations of functionals of finite type I
- Type classes with existential types
- Programming Languages and Systems
- Semantic preservation for a type directed translation scheme of Featherweight Go