@article{miraldo_efficient_2019,
	title = {An efficient algorithm for type-safe structural diffing},
	volume = {3},
	issn = {2475-1421},
	url = {https://dl.acm.org/doi/10.1145/3341717},
	doi = {10.1145/3341717},
	language = {en},
	number = {ICFP},
	urldate = {2024-01-17},
	journal = {Proceedings of the ACM on Programming Languages},
	author = {Miraldo, Victor Cacciari and Swierstra, Wouter},
	month = jul,
	year = {2019},
	pages = {1--29},
}

@article{swierstra_predicate_2019,
	title = {A predicate transformer semantics for effects (functional pearl)},
	volume = {3},
	issn = {2475-1421},
	url = {https://dl.acm.org/doi/10.1145/3341707},
	doi = {10.1145/3341707},
	language = {en},
	number = {ICFP},
	urldate = {2024-01-17},
	journal = {Proceedings of the ACM on Programming Languages},
	author = {Swierstra, Wouter and Baanen, Tim},
	month = jul,
	year = {2019},
	pages = {1--26},
}