Extensible programming with first-class cases

DOI10.1145/1159803.1159836MaRDI QIDQ5501472zbMATH OpenOpenAlexFDO

Authors Matthias Blume, Umut A. Acar, Wonseok Chae

Publication date 3 August 2015

Published in Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1159803.1159836

zbMATH Keywords

dualityfirst-class casesrecordssums

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Extensible algebraic datatypes with defaults
• scientific article; zbMATH DE number 814797
• scientific article; zbMATH DE number 1479621
• scientific article; zbMATH DE number 814798
• scientific article; zbMATH DE number 1629947

Cited in

(4)

• Remarks on language extensibility
• Sound type-dependent syntactic language extension
• Disjoint polymorphism
• Extensible algebraic datatypes with defaults

This page was built for publication: Extensible programming with first-class cases

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