Dependent Array Type Inference from Tests.

He Zhu, Aditya V. Nori, Suresh Jagannathan

Browse the full VMCAI paper archive.