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

by F Wallace Pottier