@article{altenkirch-2025-substitution,
title = {Substitution Without Copy and Paste},
volume = {431},
ISSN = {2075-2180},
url = {http://dx.doi.org/10.4204/EPTCS.431.5},
DOI = {10.4204/eptcs.431.5},
journal = {Electronic Proceedings in Theoretical Computer Science},
publisher = {Open Publishing Association},
author = {Altenkirch, Thorsten and Burke, Nathaniel and Wadler, Philip},
year = {2025},
month = {oct},
pages = {65–81}
}