TY  - RPRT
TI  - Call-by-name Gradual Type Theory
AU  - Max S. New
AU  - Daniel R. Licata
PY  - 2020
DO  - 10.23638/lmcs-16(1:7)2020
UR  - https://arxiv.org/abs/1802.00061
ID  - 1802.00061
ER  -