TY - GEN
AU - McDermott, Dylan
TI - Reasoning about effectful programs and evaluation order
PB - University of Cambridge, Computer Laboratory
KW - Hochschulschrift
PY - June 2020
N2 - Literaturverzeichnis: Seite 125-132
BT - Technical report / University of Cambridge, Computer Laboratory ; number 948
CY - Cambridge, United Kingdom
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation