Editing Multiple dispatch (section)

=== Theory ===
The theory of multiple dispatching languages was first developed by Castagna et al., by defining a model for overloaded functions with [[late binding]].<ref>{{cite journal |last1=Castagna |first1=Giuseppe |last2=Ghelli |first2=Giorgio |last3=Longo |first3=Giuseppe |name-list-style=amp |year=1995 |title=A calculus for overloaded functions with subtyping |journal=Information and Computation |volume=117 |issue=1 |pages=115–135 |doi=10.1006/inco.1995.1033 |doi-access=free }}</ref><ref>{{cite book |last=Castagna |first=Giuseppe |title=Object-Oriented Programming: A Unified Foundation |url=https://www.springer.com/birkhauser/computer+science/book/978-0-8176-3905-1 |year=1996 |publisher=Birkhäuser |isbn=978-0-8176-3905-1 |page=384 |series=Progress in Theoretical Computer Science}}</ref> It yielded the first formalization of the [[Covariance and contravariance (computer science)|problem of covariance and contravariance]] of object-oriented languages<ref>{{cite journal |last=Castagna |first=Giuseppe |year=1995 |title=Covariance and contravariance: conflict without a cause |journal=ACM Transactions on Programming Languages and Systems|volume=17 |issue=3 |pages=431–447 |doi=10.1145/203095.203096 |citeseerx=10.1.1.115.5992|s2cid=15402223 }}</ref> and a solution to the problem of binary methods.<ref>{{cite journal |last1=Bruce |first1=Kim |last2=Cardelli |first2=Luca |last3=Castagna |first3=Giuseppe |last4=Leavens |first4=Gary T. |last5=Pierce |first5=Benjamin |year=1995 |title=On binary methods |journal=Theory and Practice of Object Systems |volume=1 |issue=3 |pages= 221–242|doi= 10.1002/j.1096-9942.1995.tb00019.x|url=http://dl.acm.org/citation.cfm?id=230849.230854 |access-date=2013-04-19|url-access=subscription }}</ref>