@article{gf-icfp-2018,
  author={Greenman, Ben and Felleisen, Matthias},
  title={A Spectrum of Type Soundness and Performance},
  booktitle={{PACMPL}},
  volume={2},
  number={{ICFP}},
  pages={71:1--71:32},
  year={2018},
  doi={https://doi.org/10.1145/3234594}
}