Jonathan Protzenko. Functional Pearl: the Proof Search Monad. In Boris Konev, Stephan Schulz 0001, Laurent Simon, editors, IWIL@LPAR 2015, 11th International Workshop on the Implementation of Logics, Suva, Fiji, November 23, 2015. Volume 40 of EPiC Series in Computing, pages 91-105, EasyChair, 2015. [doi]
Abstract is missing.