Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer. Theorem Proving for Functional Programmers. In Thomas Arts, Markus Mohnen, editors, Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers. Volume 2312 of Lecture Notes in Computer Science, pages 55-71, Springer, 2001. [doi]
Abstract is missing.