Semantic preservation for a type directed translation scheme of Featherweight Go
From MaRDI portal
Publication:6109210
DOI10.1007/978-3-031-16912-0_7arXiv2206.09980OpenAlexW4296962661MaRDI QIDQ6109210
Publication date: 30 June 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2206.09980
Related Items
Cites Work
- Unnamed Item
- Syntactic Logical Relations for Polymorphic and Recursive Types
- Biorthogonality, step-indexing and compiler correctness
- The marriage of bisimulations and Kripke logical relations
- Imperative self-adjusting computation
- A bisimulation for type abstraction and recursion
- Logical relations and the typed λ-calculus
- Parametric polymorphism and operational equivalence
- Bisimulation as a logical relation
- A type directed translation of MLF to system F
- A kripke logical relation between ML and assembly
- Intensional interpretations of functionals of finite type I
- Programming Languages and Systems