@article{new_licata_ahmed_2019,
 title = {Gradual Type Theory},
 author = {New, Max S. and Licata, Daniel R. and Ahmed, Amal},
 year = {2019},
 doi = {10.1145/3290328},
 url = {https://arxiv.org/abs/1811.02440},
 publisher = {ACM},
 journal = {Proceedings of the ACM on Programming Languages},
 volume = {3},
 number = {POPL},
 pages = {1--31}
}