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

by Manfred Schmidt-schauß , Michael Huber , Fachbereich Informatik
Venue:Informatik, J.W. GoetheUniversität Frankfurt, September 2003. SSSS04. Manfred Schmidt-Schauß, Marko Schütz, and
Citations:7 - 0 self