@article{wadler-2024-explicit,
title = {Explicit Weakening},
volume = {413},
ISSN = {2075-2180},
url = {http://dx.doi.org/10.4204/EPTCS.413.2},
DOI = {10.4204/eptcs.413.2},
journal = {Electronic Proceedings in Theoretical Computer Science},
publisher = {Open Publishing Association},
author = {Wadler, Philip},
year = {2024},
month = {nov},
pages = {15–26}
}