Higher-order contracts for JavaScript

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},
}