4 citations · 4 across the 1 of their papers we have counts for
Showing cs.PLShow all
3 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
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.…
cs.PL2017★ 4 cited
Constrained Type Families
J. Garrett Morris, Richard Eisenberg
We present an approach to support partiality in type-level computation without compromising expressiveness or type safety. Existing frameworks for type-level computation either req…