Dynamic overloading with copy semantics in object-oriented languages: a formal account
RAIRO-Theor. Inf. Appl., 43 3 (2009) 517-565
Published online: 12 March 2009
DOI: 10.1051/ita/2009008