Extensible Recursive Functions, Algebraically.

Alex Hubers

Alex Hubers Apoorv Ingle Andrew Marmaduke J. Garrett Morris Extensible Recursive Functions, Algebraically. 2024 abs/2410.11742 CoRR https://doi.org/10.48550/arXiv.2410.11742 db/journals/corr/corr2410.html#abs-2410-11742 streams/journals/corr

Alex Hubers J. Garrett Morris Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. 356-384 2023 August 7 Proc. ACM Program. Lang. ICFP https://doi.org/10.1145/3607843 https://www.wikidata.org/entity/Q130824568 db/journals/pacmpl/pacmpl7.html#HubersM23

Pedro Abreu Benjamin Delaware Alex Hubers Christa Jenkins J. Garrett Morris Aaron Stump A Type-Based Approach to Divide-and-Conquer Recursion in Coq. 61-90 2023 January 7 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3571196 db/journals/pacmpl/pacmpl7.html#AbreuDHJMS23

Alex Hubers J. Garrett Morris Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. 2023 abs/2307.08759 CoRR https://doi.org/10.48550/arXiv.2307.08759 db/journals/corr/corr2307.html#abs-2307-08759

Apoorv Ingle Alex Hubers J. Garrett Morris Partial type constructors in practice. 95-107 2022 Haskell https://doi.org/10.1145/3546189.3549923 conf/haskell/2022 db/conf/haskell/haskell2022.html#IngleHM22 Pedro Abreu Benjamin Delaware Apoorv Ingle Christa Jenkins Andrew Marmaduke J. Garrett Morris Aaron Stump