@inproceedings{swierstra_xmonad_2012,
	address = {Copenhagen Denmark},
	title = {xmonad in {Coq} \textit{(experience report)}: programming a window manager in a proof assistant},
	isbn = {9781450315746},
	shorttitle = {xmonad in {Coq} \textit{(experience report)}},
	url = {https://dl.acm.org/doi/10.1145/2364506.2364523},
	doi = {10.1145/2364506.2364523},
	language = {en},
	urldate = {2024-01-17},
	booktitle = {Proceedings of the 2012 {Haskell} {Symposium}},
	publisher = {ACM},
	author = {Swierstra, Wouter},
	month = sep,
	year = {2012},
	pages = {131--136},
}