FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO (2003)

by Manfred Schmidt-Schauß
Citations:7 - 0 self