Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc

Alex Hubers, J. Garrett Morris. Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. Proceedings of the ACM on Programming Languages, 7(ICFP):356-384, August 2023. [doi]

Abstract

Abstract is missing.