%0 Journal Article %1 journals/pacmpl/RamsayW24 %A Ramsay, Steven %A Walpole, Charlie %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 2010-2040 %T Ill-Typed Programs Don't Evaluate. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#RamsayW24 %V 8

@article{journals/pacmpl/RamsayW24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Ramsay, Steven and Walpole, Charlie}, biburl = {https://www.bibsonomy.org/bibtex/2c4287ff2e9cbb301f0ee2eaa5923d436/dblp}, ee = {https://doi.org/10.1145/3632909}, interhash = {7228cddb2cb4ce13c43ecef6e972a2a2}, intrahash = {c4287ff2e9cbb301f0ee2eaa5923d436}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {2010-2040}, timestamp = {2024-04-08T09:54:20.000+0200}, title = {Ill-Typed Programs Don't Evaluate.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#RamsayW24}, volume = 8, year = 2024 }