@inproceedings{miraldo_type-directed_2017,
	address = {Oxford UK},
	title = {Type-directed diffing of structured data},
	isbn = {9781450351836},
	url = {https://dl.acm.org/doi/10.1145/3122975.3122976},
	doi = {10.1145/3122975.3122976},
	language = {en},
	urldate = {2024-01-17},
	booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} {International} {Workshop} on {Type}-{Driven} {Development}},
	publisher = {ACM},
	author = {Miraldo, Victor Cacciari and Dagand, Pierre-Évariste and Swierstra, Wouter},
	month = sep,
	year = {2017},
	pages = {2--15},
}

@inproceedings{van_geest_generic_2017,
	address = {Oxford UK},
	title = {Generic packet descriptions: verified parsing and pretty printing of low-level data},
	isbn = {9781450351836},
	shorttitle = {Generic packet descriptions},
	url = {https://dl.acm.org/doi/10.1145/3122975.3122979},
	doi = {10.1145/3122975.3122979},
	language = {en},
	urldate = {2024-01-17},
	booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} {International} {Workshop} on {Type}-{Driven} {Development}},
	publisher = {ACM},
	author = {Van Geest, Marcell and Swierstra, Wouter},
	month = sep,
	year = {2017},
	pages = {30--40},
}