an ecient implementation of type inference with subtyping. URL: http://pauillac.inria.fr/~fpottier/wallace (2000)

by F Wallace Pottier