From ML to MLF: Graphic type constraints with efficient type inference (2008)

by Didier Rémy, Boris Yakobowski
Venue:Massachusetts Institute of Technology Cambridge, Massachusetts