Cameron Moy, Matthias Felleisen. Trace contracts. Journal of Functional Programming, 33, 2023. [doi]
@article{MoyF23,
title = {Trace contracts},
author = {Cameron Moy and Matthias Felleisen},
year = {2023},
doi = {10.1017/s0956796823000096},
url = {https://doi.org/10.1017/s0956796823000096},
researchr = {https://researchr.org/publication/MoyF23},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {33},
}