8 citations · 22 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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.PL2023★ 8 cited
Soundly Handling Linearity
Wenhao Tang, Daniel Hillerström, Sam Lindley +1
We propose a novel approach to soundly combining linear types with effect handlers. Linear type systems statically ensure that resources such as file handles are used exactly once.…