A Dictionary-Passing Translation of Featherweight Go

DOI10.1007/978-3-030-89051-3_7MaRDI QIDQ6488146zbMATH OpenFDO

Authors Martin Sulzmann, Stefan Wehr

Publication date 29 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-89051-3_7

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 2086502
• Dynamic overloading with copy semantics in object-oriented languages: a formal account
• Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language
• Featherweight Java with dynamic and static overloading
• Coherence of subsumption for monadic types

Cites work

• A reflection on types
• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• Intensional interpretations of functionals of finite type I
• Programming Languages and Systems
• Type classes with existential types
• Types and programing languages

Cited in

(2)

• A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
• Semantic preservation for a type directed translation scheme of Featherweight Go

This page was built for publication: A Dictionary-Passing Translation of Featherweight Go

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488146)