@article{lgfd-icfp-2023,
  author={Lazarek, Lukas and Greenman, Ben and Felleisen, Matthias and Dimoulas, Christos},
  title = {How to Evaluate Blame for Gradual Types, Part 2},
  journal = {{PACMPL}},
  volume = {7},
  number = {{ICFP}},
  pages = {194:1--194:28},
  year={2023},
  doi={10.1145/3607836}
}