Proving Correctness of Programs with IO - A Paradigm Comparison

Andrew Butterfield, Glenn Strong. Proving Correctness of Programs with IO - A Paradigm Comparison. 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 72-87, Springer, 2001. [doi]

Abstract

Abstract is missing.