- He Zhu
, Suresh Jagannathan:
Compositional and Lightweight Dependent Type Inference for ML. VMCAI 2013: 295-314 - Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni:
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7737, Springer 2013, ISBN 978-3-642-35872-2 [contents]