Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg
Partial type constructors: or, making ad hoc datatypes less ad hoc
POPL, 2020.
@article{POPL-2020-JonesME,
author = "Mark P. Jones and J. Garrett Morris and Richard A. Eisenberg",
doi = "10.1145/3371108",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "28",
publisher = "{ACM}",
title = "{Partial type constructors: or, making ad hoc datatypes less ad hoc}",
volume = 4,
year = 2020,
}