@inproceedings{tome_cortinas_algebra_2018,
	address = {St. Louis MO USA},
	title = {From algebra to abstract machine: a verified generic construction},
	isbn = {9781450358255},
	shorttitle = {From algebra to abstract machine},
	url = {https://dl.acm.org/doi/10.1145/3240719.3241787},
	doi = {10.1145/3240719.3241787},
	language = {en},
	urldate = {2024-01-17},
	booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} {International} {Workshop} on {Type}-{Driven} {Development}},
	publisher = {ACM},
	author = {Tomé Cortiñas, Carlos and Swierstra, Wouter},
	month = sep,
	year = {2018},
	pages = {78--90},
}