TY  - RPRT
TI  - First-Class Subtypes
AU  - Jeremy Yallop
AU  - Stephen Dolan
PY  - 2019
DO  - 10.4204/eptcs.294.4
UR  - https://arxiv.org/abs/1905.06546
ID  - 1905.06546
ER  -