an efficient implementation of type inference with subtyping (2000)

by Wallace