@misc{SchmidtSchauss2003, author = {Manfred Schmidt-Schauß}, title = {FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface : approaching a theory of unsafePerformIO}, booktitle = {Technical report Frank / Johann-Wolfgang-Goethe-Universit{\"a}t, Fachbereich Informatik und Mathematik, Institut f{\"u}r Informatik ; 16}, url = {http://www.ki.informatik.uni-frankfurt.de/papers/schauss/FUNDIO.pdf}, institution = {Informatik}, series = {Technical report Frank / Johann-Wolfgang-Goethe-Universit{\"a}t, Fachbereich Informatik und Mathematik, Institut f{\"u}r Informatik}, number = {16}, type = {workingpaper}, pages = {84}, year = {2003}, }