@article{greenman_etal_2019,
 title = {How to evaluate the performance of gradual type systems},
 author = {Greenman, Ben and Takikawa, Asumu and New, Max S. and Feltey, Daniel and Findler, Robert Bruce and Vitek, Jan and Felleisen, Matthias},
 year = {2019},
 url = {http://janvitek.org/pubs/jfp18.pdf},
 journal = {Journal of Functional Programming},
 volume = {29},
 publisher = {Cambridge University Press},
 doi = {10.1017/S0956796818000217},
 pages = {e4}
}