Type Inference for Variant Object Types.

Michele Bugliesi Santiago M. Pericás-Geertsen Type Inference for Variant Object Types. 2-27 2002 177 Inf. Comput. 1 http://dx.doi.org/10.1006/inco.2002.3091 db/journals/iandc/iandc177.html#BugliesiP02