Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas. How to Evaluate Blame for Gradual Types, Part 2. Proceedings of the ACM on Programming Languages, 7(ICFP):159-186, August 2023. [doi]
@article{LazarekGFD23,
title = {How to Evaluate Blame for Gradual Types, Part 2},
author = {Lukas Lazarek and Ben Greenman and Matthias Felleisen and Christos Dimoulas},
year = {2023},
month = {August},
doi = {10.1145/3607836},
url = {https://doi.org/10.1145/3607836},
researchr = {https://researchr.org/publication/LazarekGFD23},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {7},
number = {ICFP},
pages = {159-186},
}