@article{new_licata_ahmed_2021,
 title = {Gradual Type Theory},
 author = {New, Max S. and Licata, Daniel R. and Ahmed, Amal},
 year = {2021},
 doi = {10.1017/S0956796821000125},
 journal = {Journal of Functional Programming},
 volume = {31},
 publisher = {Cambridge University Press},
 pages = {e21}
}