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

DOI10.1016/J.TCS.2018.02.030zbMATH Open1397.68025OpenAlexW2795370417MaRDI QIDQ724927FDOQ724927

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

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

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)

Cites Work

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

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)