FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO. Frank report 16, Institut für (0)

by SS03 Manfred Schmidt-Schauß
Venue:Informatik, J.W. GoetheUniversität Frankfurt, September 2003. SSSS04. Manfred Schmidt-Schauß, Marko Schütz, and