3 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.PL2024
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…
cs.PL2019
QuB: A Resource Aware Functional Programming Language
Apoorv Ingle
Managing resources---file handles, database connections, etc.---is a hard problem. Debugging resource leaks and runtime errors due to resource mismanagement are difficult in evolvi…