25 citations · 25 across the 2 of their papers we have counts for
2 papers
cs.PL2023
Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
Alex Hubers, J. Garrett Morris
We present a novel approach to generic programming over extensible data types. Row types capture the structure of records and variants, and can be used to express record and varian…
cs.PL2016★ 25 cited
The Best of Both Worlds: Linear Functional Programming without Compromise
J. Garrett Morris
We present a linear functional calculus with both the safety guarantees expressible with linear types and the rich language of combinators and composition provided by functional pr…