xmonad in Coq (experience report): programming a window manager in a proof assistant

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 2012 symposium on Haskell symposium
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery
Pages	131-136
Number of pages	6
DOIs	https://doi.org/10.1145/2364506.2364523
Publication status	Published - 2012

Swierstra:2012:XCP:2364506.2364523

Access to Document

@inproceedings{d1e6c07368e2429d915e1e8589d97989,

title = "xmonad in Coq (experience report): programming a window manager in a proof assistant",

author = "W.S. Swierstra",

note = "Swierstra:2012:XCP:2364506.2364523",

year = "2012",

doi = "10.1145/2364506.2364523",

language = "Undefined/Unknown",

pages = "131--136",

booktitle = "Proceedings of the 2012 symposium on Haskell symposium",

publisher = "Association for Computing Machinery",

}

TY - GEN

T1 - xmonad in Coq (experience report): programming a window manager in a proof assistant

AU - Swierstra, W.S.

N1 - Swierstra:2012:XCP:2364506.2364523

PY - 2012

Y1 - 2012

U2 - 10.1145/2364506.2364523

DO - 10.1145/2364506.2364523

M3 - Conference contribution

SP - 131

EP - 136

BT - Proceedings of the 2012 symposium on Haskell symposium

PB - Association for Computing Machinery

CY - New York, NY, USA

ER -