Compositional and Lightweight Dependent Type Inference for ML.

He Zhu, Suresh Jagannathan

Browse the full VMCAI paper archive.