TY  - RPRT
TI  - PML 2 : Integrated Program Verification in ML
AU  - Rodolphe Lepigre
PY  - 2019
DO  - 10.4230/lipics.types.2017.5
UR  - https://arxiv.org/abs/1901.03208
ID  - 1901.03208
ER  -