Wouter Swierstra. xmonad in Coq (experience report): programming a window manager in a proof assistant. In Janis Voigtländer, editor, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. pages 131-136, ACM, 2012. [doi]
Abstract is missing.