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…