@misc
{TN_libero_mab2,
author = {
McDermott, Dylan
},
title = {
Reasoning about effectful programs and evaluation order
},
publisher = {University of Cambridge, Computer Laboratory},
keywords = {
Hochschulschrift
},
year = {June 2020},
abstract = {Literaturverzeichnis: Seite 125-132},
booktitle = {Technical report / University of Cambridge, Computer Laboratory ; number 948},
address = {
Cambridge, United Kingdom
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}