A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go

DOI10.1017/s0956796823000047arXiv2209.08511OpenAlexW4387464173MaRDI QIDQ6065507

Stefan Wehr, Martin Sulzmann

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• 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
• Unnamed Item
• Unnamed Item