%0 Journal Article %1 journals/jfp/MoyF23 %A Moy, Cameron %A Felleisen, Matthias %D 2023 %J J. Funct. Program. %K dblp %T Trace contracts. %U http://dblp.uni-trier.de/db/journals/jfp/jfp33.html#MoyF23 %V 33

@article{journals/jfp/MoyF23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Moy, Cameron and Felleisen, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2ed75984b592a66776d56d5af614b2184/dblp}, ee = {https://doi.org/10.1017/s0956796823000096}, interhash = {adfc84426cfd46a7b3a7eab802f353fe}, intrahash = {ed75984b592a66776d56d5af614b2184}, journal = {J. Funct. Program.}, keywords = {dblp}, timestamp = {2024-05-13T07:56:19.000+0200}, title = {Trace contracts.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp33.html#MoyF23}, volume = 33, year = 2023 }