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

DOI10.1016/j.tcs.2018.02.030zbMath1397.68025OpenAlexW2795370417MaRDI QIDQ724927

Claudio V. Russo, Andrew J. Kennedy

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

genericspolymorphismC\#system Fgeneralized algebraic data types

Mathematics Subject Classification ID

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

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

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