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,
}











