@article{gtnffvf-jfp-2019,
    author = {Greenman, Ben and Takikawa, Asumu and New, Max S. and Feltey, Daniel and Findler, Robert Bruce and Vitek, Jan and Felleisen, Matthias},
    title = {How to Evaluate the Performance of Gradual Typing Systems},
    booktitle = {{JFP}},
    volume = {29},
    number = {e4},
    year = {2019},
    doi = {https://doi.org/10.1017/S0956796818000217}
}