Xmonad in Coq: Programming a window manager in a proof assistant Wouter Swierstra FP Dag - Window manager - Document - PDFSEARCH.IO

First Page	Meta Content
	Xmonad in Coq: Programming a window manager in a proof assistant Wouter Swierstra FP Dag Add to Reading List Open Document File Size: 502,45 KB Share Result on Facebook

Xmonad in Coq: Programming a window manager in a proof assistant Wouter Swierstra FP DagAdd to Reading List