A graphical presentation of MLF types with a linear-time unification algorithm (2007)

by Thème Sym , Didier Rémy , Didier Rémy , Boris Yakobowski , Boris Yakobowski , Projet Gallium
Venue:In TLDI’07: Proceedings of the 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
Citations:15 - 8 self