Extensible programming with first-class cases

DOI10.1145/1159803.1159836zbMath1321.68138OpenAlexW2121787849MaRDI QIDQ5501472

Wonseok Chae, Umut A. Acar, Matthias Blume

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

dualityrecordssumsfirst-class cases

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Disjoint Polymorphism

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