an ecient implementation of type inference with structural subtyping. http://cristal.inria.fr/~simonet/soft/dalton (2002)

by Dalton