J. Garrett Morris, James McKinna
Abstracting extensible data types: or, rows by any other name
POPL, 2019.
@article{POPL-2019-MorrisM, author = "J. Garrett Morris and James McKinna", doi = "10.1145/3290325", journal = "{Proceedings of the ACM on Programming Languages}", number = "POPL", pages = "28", publisher = "{ACM}", title = "{Abstracting extensible data types: or, rows by any other name}", volume = 3, year = 2019, }