2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…