@Inproceedings{EPTCS294.4, author = {Yallop, Jeremy and Dolan, Stephen}, year = {2019}, title = {First-Class Subtypes}, editor = {Lindley, Sam and Scherer, Gabriel}, booktitle = {{\rm Proceedings} ML Family / OCaml Users and Developers workshops, {\rm Oxford, UK, 7th September 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {294}, publisher = {Open Publishing Association}, pages = {74-85}, doi = {10.4204/EPTCS.294.4}, }