Type Safety with JSON Subschema. - Habib, Andrew; Shinnar, Avraham; Hirzel, Martin; Pradel, Michael (CoRR, 2019)