Andrew Butterfield. Reasoning about I/O in Functional Programs. In Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer, editors, Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Volume 7241 of Lecture Notes in Computer Science, pages 93-141, Springer, 2011. [doi]
Abstract is missing.