No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System.

Roger Bosman, Georgios Karachalias, Tom Schrijvers

Browse the full ITP paper archive.