TY  - RPRT
TI  - Type Safety with JSON Subschema
AU  - Andrew Habib
AU  - Avraham Shinnar
AU  - Martin Hirzel
AU  - Michael Pradel
PY  - 2020
UR  - https://arxiv.org/abs/1911.12651
ID  - 1911.12651
ER  -