Marko C. J. D. van Eekelen, Maarten de Mol. Proof Tool Support for Explicit Strictness. In Andrew Butterfield, Clemens Grelck, Frank Huch, editors, Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Volume 4015 of Lecture Notes in Computer Science, pages 37-54, Springer, 2005. [doi]
Abstract is missing.