Towards a perfect union type: automatic typing of JSON documents

Prelegent(ci)

Michał J. Gajda

Afiliacja

MigaMake Pte Ltd

Termin

25 stycznia 2024 12:15

Pokój

p. 4060

Seminarium

Seminarium "DeSeR: Dane, strumienie, rozpraszanie"

---

We present a principled theoretical framework for inferring and checking the union types, and show its work in practice on JSON data structures. The framework poses a union type inference as a learning problem from multiple examples. The categorical framework is generic and easily extensible.

---