@article{DBLP:journals/pacmpl/JonesME20,
 author = {Mark P. Jones and
J. Garrett Morris and
Richard A. Eisenberg},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/pacmpl/JonesME20.bib},
 doi = {10.1145/3371108},
 journal = {Proc. ACM Program. Lang.},
 number = {POPL},
 pages = {40:1--40:28},
 timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
 title = {Partial type constructors: or, making ad hoc datatypes less ad hoc},
 url = {https://doi.org/10.1145/3371108},
 volume = {4},
 year = {2020}
}