2 papers
cs.PL2025
Understanding Haskell-style Overloading via Open Data and Open Functions
Andrew Marmaduke, Apoorv Ingle, J. Garrett Morris
We present a new, uniform semantics for Haskell-style overloading. We realize our approach in a new core language, System F, whose metatheory we mechanize in the Lean4…
cs.PL2025
Abstracting Extensible Recursive Functions
Alex Hubers, Apoorv Ingle, Andrew Marmaduke +1
We explore recursive programming with extensible data types. Row types make the structure of data types first class, and can express a variety of type system features including rec…