Transposing G to C^: expressivity of generalized algebraic data types in an object-oriented language

DOI10.1016/J.TCS.2018.02.030MaRDI QIDQ724927zbMATH OpenOpenAlexFDO

Authors Andrew Kennedy, Claudio Russo

Publication date 26 July 2018

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2018.02.030

zbMATH Keywords

C\#polymorphismsystem Fgenericsgeneralized algebraic data types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65)

Recommendations

• GADTs Meet Subtyping
• Complete and decidable type inference for GADTs
• Foundations for structured programming with GADTs
• A lean specification for gadts: System F with first-class equality proofs
• An extended comparative study of language support for generic programming

Cites work

• A lean specification for gadts: System F with first-class equality proofs
• Guarded recursive datatype constructors
• Polymorphic typed defunctionalization
• Stratified type inference for generalized algebraic data types

Cited in

(2)

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

This page was built for publication: Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language

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