Type Inference for Variant Object Types

Michele Bugliesi, Santiago M. Pericás-Geertsen. Type Inference for Variant Object Types. Inf. Comput., 177(1):2-27, 2002. [doi]

Abstract

Abstract is missing.