@inproceedings{pizani_flor_verified_2022,
	address = {Copenhagen Denmark},
	title = {Verified {Technology} {Mapping} in an {Agda} {DSL} for {Circuit} {Design}: {Circuit} refinement through gate and data concretisation},
	isbn = {9781450398312},
	shorttitle = {Verified {Technology} {Mapping} in an {Agda} {DSL} for {Circuit} {Design}},
	url = {https://dl.acm.org/doi/10.1145/3587216.3587217},
	doi = {10.1145/3587216.3587217},
	language = {en},
	urldate = {2024-01-17},
	booktitle = {Proceedings of the 34th {Symposium} on {Implementation} and {Application} of {Functional} {Languages}},
	publisher = {ACM},
	author = {Pizani Flor, João Paulo and Swierstra, Wouter},
	month = aug,
	year = {2022},
	pages = {1--13},
}