TY  - RPRT
TI  - Constrained Type Families
AU  - J. Garrett Morris
AU  - Richard Eisenberg
PY  - 2017
DO  - 10.1145/3110286
UR  - https://arxiv.org/abs/1706.09715
ID  - 1706.09715
ER  -