Media type: E-Book; Thesis Title: Reasoning about effectful programs and evaluation order Contributor: McDermott, Dylan [VerfasserIn] imprint: Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2020 Published in: Technical report ; 948 Extent: 1 Online-Ressource (150 Seiten); Illustrationen Language: English Keywords: Hochschulschrift Origination: University thesis: Dissertation, University of Cambridge, 2019 Footnote: Literaturverzeichnis: Seite 125-132 Access State: Open Access