TY  - RPRT
TI  - TreatJS: Higher-Order Contracts for JavaScript
AU  - Matthias Keil
AU  - Peter Thiemann
PY  - 2015
UR  - https://arxiv.org/abs/1504.08110
ID  - 1504.08110
ER  -