Roman Matthias Keil. Higher-order contracts for JavaScript. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2018. [doi]
@phdthesis{dnb-21516, title = {Higher-order contracts for JavaScript}, author = {Roman Matthias Keil}, year = {2018}, url = {http://d-nb.info/1173615822}, researchr = {https://researchr.org/publication/dnb-21516}, cites = {0}, citedby = {0}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, }