@article{new_licata_2020_lmcs,
 title = {Call-by-name Gradual Type Theory},
 author = {New, Max S. and Licata, Daniel R.},
 year = {2020},
 url = {https://arxiv.org/abs/1802.00061},
 journal = {Logical Methods in Computer Science},
 volume = {16},
 number = {1},
 doi = {10.23638/LMCS-16(1:7)2020},
 pages = {7:1--7:45}
}