> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Reasoning about effectful programs and evaluation order Beteiligte: McDermott, Dylan [VerfasserIn] Erschienen: Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2020 Erschienen in: Technical report ; 948 Umfang: 1 Online-Ressource (150 Seiten); Illustrationen Sprache: Englisch Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, University of Cambridge, 2019 Anmerkungen: Literaturverzeichnis: Seite 125-132 Zugangsstatus: Freier Zugang