Treffer: FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface
Titel:
FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface : approaching a theory of unsafePerformIO / Manfred Schmidt-Schauß
Beteiligt:
Ausgabe:
September 25, 2003
Veröffentlicht:
Frankfurt [am Main] : Johann Wolfgang Goethe-Univ., Inst. für Informatik, 2003
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technical report Frank ; 16
alle Bände anzeigen
alle Bände anzeigen