article · 2007
Modular multiple dispatch with multiple inheritance
Eric E. Allen, Joseph J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele
Cited by 24Abstract and details only
Abstract
Overloaded functions and methods with multiple dispatch are useful for extending the functionality of existing classes in an object-oriented language. However, such functions introduce the possibility of ambiguous calls that cannot be resolved at run time, and modular static checking that such ambiguity does not exist has proved elusive in the presence of multiple implementation inheritance. We present a core language for defining overloaded functions and methods that supports multiple dispatch and multiple inheritance, together with a set of restrictions on these definitions that can be statically and modularly checked. We have proved that these restrictions guarantee that no undefined nor ambiguous calls occur at run time, while still permitting various kinds of overloading.
Cite this paper
Allen, E. E., Hallett, J. J., Luchangco, V., Ryu, S., & Steele, G. L. (2007). Modular multiple dispatch with multiple inheritance. https://doi.org/10.1145/1244002.1244245
Allen, Eric E., et al. “Modular multiple dispatch with multiple inheritance.” 2007, pp. 1117–21, https://doi.org/10.1145/1244002.1244245.
Allen, Eric E., Joseph J. Hallett, Victor Luchangco, Sukyoung Ryu, and Guy L. Steele. 2007. “Modular multiple dispatch with multiple inheritance.” https://doi.org/10.1145/1244002.1244245.
Allen, E.E. et al. (2007) ‘Modular multiple dispatch with multiple inheritance’. Available at: https://doi.org/10.1145/1244002.1244245.
@article{allen2007modular,
title = {{Modular multiple dispatch with multiple inheritance}},
author = {Allen, Eric E. and Hallett, Joseph J. and Luchangco, Victor and Ryu, Sukyoung and Steele, Guy L.},
pages = {1117--1121},
year = {2007},
doi = {10.1145/1244002.1244245}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.