Functional Pearl: the Proof Search Monad Jonathan Protzenko Microsoft Research Abstract We present the proof search monad, a set of combinators that allows one to write a proof search

First Page		Document Content
Date: 2015-11-24 20:09:38		Functional Pearl: the Proof Search Monad Jonathan Protzenko Microsoft Research Abstract We present the proof search monad, a set of combinators that allows one to write a proof search Add to Reading List Source URL: jonathan.protzenko.fr Download Document from Source Website File Size: 136,14 KB Share Document on Facebook