\relax \bibstyle{alpha} \citation{LHLR:law-paper} \citation{lieber-riel:oop} \citation{karl1:class} \citation{karl:demeter} \citation{sakkinen:law-88} \citation{sakkinen:law-88} \citation{LHLR:law-paper} \citation{sakkinen:law-88} \citation{stroustrup:c++} \citation{clos:bobrow-88} \citation{sakkinen:law-88} \citation{LHLR:law-paper} \citation{johnson-foote:rules} \citation{smith:principles} \citation{LHLR:law-paper} \citation{wirth:ebnf} \citation{lieber-riel:oop} \citation{wegner:concept} \citation{madsen-norgard:hicss-88} \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{2}} \@writefile{toc}{\contentsline {section}{\numberline {2}A question of notation}{2}} \citation{meyer:book-88} \citation{LHLR:law-paper} \@writefile{toc}{\contentsline {section}{\numberline {3}Clients, suppliers and dependencies}{3}} \citation{sakkinen:law-88} \citation{lieber-riel:oop} \@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Definitions}{5}} \citation{meyer:book-88} \@writefile{toc}{\contentsline {subsection}{\numberline {3.2}The Law}{8}} \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.2.1}Conceptual guideline}{9}} \citation{LHLR:law-paper} \@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Benefits of the Law}{10}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Justification}{11}} \citation{sakkinen:law-88} \citation{meyer:book-88} \@writefile{toc}{\contentsline {subsection}{\numberline {3.5}Translation to C++}{12}} \@writefile{toc}{\contentsline {subsubsection}{\numberline {3.5.1}Violations of the Law}{15}} \@writefile{toc}{\contentsline {section}{\numberline {4}Message passing versus generic function calls}{16}} \@writefile{toc}{\contentsline {section}{\numberline {5}Overloading and dynamic method selection}{19}} \@writefile{toc}{\contentsline {section}{\numberline {6}The Law in mixed paradigm languages}{19}} \@writefile{toc}{\contentsline {section}{\numberline {7}Nesting of generic function calls}{20}} \@writefile{toc}{\contentsline {section}{\numberline {8}Anarchy: valid violations of the Law}{22}} \citation{hewitt:law} \citation{sakkinen:law-88} \citation{LHLR:law-paper} \@writefile{toc}{\contentsline {section}{\numberline {9}Formulations for existing languages}{24}} \citation{lieber-riel:oop} \@writefile{toc}{\contentsline {section}{\numberline {10}Conclusions}{25}} \bibdata{biblio} \bibcite{clos:bobrow-88}{BDG{$^{+}$}88} \bibcite{hewitt:law}{HB77} \bibcite{johnson-foote:rules}{JF88} \bibcite{LHLR:law-paper}{LHR88} \bibcite{karl1:class}{Lie88} \bibcite{karl:demeter}{Lie96} \bibcite{lieber-riel:oop}{LR88} \bibcite{meyer:book-88}{Mey88} \bibcite{madsen-norgard:hicss-88}{MN88} \bibcite{sakkinen:law-88}{Sak88} \bibcite{smith:principles}{Smi88} \bibcite{stroustrup:c++}{Str86} \bibcite{wegner:concept}{Weg88} \bibcite{wirth:ebnf}{Wir77}