References

[Agesen et al. 97] Ole Agesen, Stephen N. Freund, and John C. Mitchell. Adding Type Parameterization to the Java Language. In Proceedings OOPSLA '97, Atlanta, GA, October 1997.

[Agrawal et al. 91] Rakesh Agrawal, Linda G. DeMichiel, and Bruce G. Lindsay. Static Type Checking of Multi-Methods. In OOPSLA '91 Conference Proceedings, pp. 113-128, Phoenix, AZ, October, 1991. Published as SIGPLAN Notices 26(11), November, 1991.

[America & van der Linden 90] Pierre America and Frank van der Linden. A Parallel Object-Oriented Language with Inheritance and Subtyping. In OOPSLA/ECOOP '90 Conference Proceedings, pp. 161-168, Ottawa, Canada, October, 1990. Published as SIGPLAN Notices 25(10), October, 1990.

[Andersen & Reenskaug 92] Egil P. Andersen and Trygve Reenskaug. System Design by Composing Structures of Interacting Objects. In ECOOP '92 Conference Proceedings, pp. 133-152, Utrecht, the Netherlands, June/July 1992. Published as Lecture Notes in Computer Science 615, Springer-Verlag, Berlin, 1992.

[Apple 92] Dylan, an Object-Oriented Dynamic Language. Apple Computer, April, 1992.

[Barnes 91] J. G. P. Barnes. Programming in Ada, 3rd Edition. Addison-Wesley, Wokingham, England, 1991.

[Black et al. 86] Andrew Black, Norman Hutchinson, Eric Jul, and Henry Levy. Object Structure in the Emerald System. In OOPSLA '86 Conference Proceedings, pp. 78-86, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Black & Hutchinson 90] Andrew P. Black and Norman C. Hutchinson. Typechecking Polymorphism in Emerald. Technical report TR 90-34, Department of Computer Science, University of Arizona, December, 1990.

[Bobrow et al. 86] Daniel G. Bobrow, Kenneth Kahn, Gregor Kiczales, Larry Masinter, Mark Stefik, and Frank Zdybel. CommonLoops: Merging Lisp and Object-Oriented Programming. In OOPSLA '86 Conference Proceedings, pp. 17-29, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Bobrow et al. 88] D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, D. A. Moon. Common Lisp Object System Specification X3J13. In SIGPLAN Notices 23(Special Issue), September, 1988.

[Borning 86] A. H. Borning. Classes Versus Prototypes in Object-Oriented Languages. In Proceedings of the 1986 Fall Joint Computer Conference, pp. 36-40, Dallas, TX, November, 1986.

[Bourdoncle & Merz 97] François Bourdoncle and Stephan Merz. Type Checking Higher-Order Polymorphic Multi-Methods. In Conference Record of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 302-315, January 1997.

[Bracha & Griswold 93] Gilad Bracha and David Griswold. Strongtalk: Typechecking Smalltalk in a Production Environment. In OOPSLA '93 Conference Proceedings, pp. 215-230, Washington, D.C., September 1993. Published as SIGPLAN Notices 28(10), October 1993.

[Bracha 96] Gilad Bracha. The Strongtalk Type System for Smalltalk, 1996. OOPSLA '96 Workshop on Extending the Smalltalk Language, available from http://java.sun.com/people/gbracha/nwst.html.

[Bracha et al. 98] Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. In OOPSLA '98 Conference Proceedings, Vancouver, B.C., October, 1998.

[Bruce et al. 93] Kim B. Bruce, Jon Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, and Robert Muller. Safe and decidable type checking in an object-oriented language. In Proceedings OOPSLA '93, pages 29-46, October 1993. Published as ACM SIGPLAN Notices, volume 28, number 10.

[Bruce et al. 95b] Kim B. Bruce, Angela Schuett, and Robert van Gent. PolyToil: A Type-Safe Polymorphic Object-Oriented Language. In Proceedings ECOOP '95, Aarhus, Denmark, August 1995. Springer-Verlag.

[Bruce et al. 97] Kim B. Bruce, Adrian Fiech, and Leaf Petersen. Subtyping is not a good "Match" for object-oriented languages. In Proceedings ECOOP '97. Springer-Verlag, June 1997.

[Bruce et al. 98] Kim B. Bruce, Martin Odersky, and Philip Wadler. A Statically Safe Alternative to Virtual Types. In Proceedings ECOOP '98, Brussels, Belgium, July 1998. Springer-Verlag.

[Canning et al. 89] Peter S. Canning, William R. Cook, Walter L. Hill, John C. Mitchell, and William Olthoff. F-Bounded Quantification for Object-Oriented Programming. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, 1989.

[Cardelli & Wegner 85] Luca Cardelli and Peter Wegner. On Understanding Types, Data Abstraction, and Polymorphism. In Computing Surveys 17(4), pp. 471-522, December, 1985.

[Cardelli 93] Luca Cardelli. An implementation of Fsub. Research Report 97, Digital Equipment Corporation Systems Research Center, 1993.

[Castagna et al. 92] Giuseppe Castagna, Giorgio Ghelli, and Giuseppe Longo. A Calculus for Overloaded Functions with Subtyping. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, pp. 182-192, San Francisco, June, 1992. Published as Lisp Pointers 5(1), January-March, 1992.

[Castagna 95] Giuseppe Castagna. Covariance and Contravariance: Conflict without a Cause. In ACM Transactions on Programming Languages and Systems 17(3), pp. 431-447, May 1995.

[Chambers et al. 89] Craig Chambers, David Ungar, and Elgin Lee. An Efficient Implementation of Self, a Dynamically-Typed Object-Oriented Language Based on Prototypes. In OOPSLA '89 Conference Proceedings, pp. 49-70, New Orleans, LA, October, 1989. Published as SIGPLAN Notices 24(10), October, 1989. Also published in Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June, 1991.

[Chambers et al. 91] Craig Chambers, David Ungar, Bay-Wei Chang, and Urs Hölzle. Parents are Shared Parts: Inheritance and Encapsulation in Self. In Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June, 1991.

[Chambers & Ungar 91] Craig Chambers and David Ungar. Making Pure Object-Oriented Languages Practical. In OOPSLA '91 Conference Proceedings, pp. 1-15, Phoenix, AZ, October, 1991. Published as SIGPLAN Notices 26(10), October, 1991.

[Chambers 92a] Craig Chambers. The Design and Implementation of the Self Compiler, an Optimizing Compiler for Object-Oriented Programming Languages. Ph.D. thesis, Department of Computer Science, Stanford University, March, 1992.

[Chambers 92b] Craig Chambers. Object-Oriented Multi-Methods in Cecil. In ECOOP '92 Conference Proceedings, pp. 33-56, Utrecht, the Netherlands, June/July, 1992. Published as Lecture Notes in Computer Science 615, Springer-Verlag, Berlin, 1992.

[Chambers 93a] Craig Chambers. The Cecil Language: Specification and Rationale. Technical report #93-03-05, Department of Computer Science and Engineering, University of Washington, March, 1993.

[Chambers 93b] Craig Chambers. Predicate Classes. In ECOOP '93 Conference Proceedings, pp. 268-296, Kaiserslautern, Germany, July, 1993. Published as Lecture Notes in Computer Science 707, Springer-Verlag, Berlin, 1993.

[Chambers & Leavens 94] Craig Chambers and Gary T. Leavens. Typechecking and Modules for Multi-Methods. In OOPSLA '94 Conference Proceedings, pp. 1-15, Portland, OR, October 1994. Published as SIGPLAN Notices 29(10), October 1994. An expanded and revised version to appear in ACM Transactions on Programming Languages and Systems.

[Chang & Ungar 90] Bay-Wei Chang and David Ungar. Experiencing Self Objects: An Object-Based Artificial Reality. Unpublished manuscript, 1990.

[Cook 89] W. R. Cook. A Proposal for Making Eiffel Type-Safe. In ECOOP '89 Conference Proceedings, pp. 57-70, Cambridge University Press, July, 1989.

[Cook et al. 90] William Cook, Walter Hill, and Peter Canning. Inheritance is not Subtyping. In Conference Record of the 17th Annual ACM Symposium on Principles of Programming Languages, San Francisco, CA, January, 1990.

[Cook 92] William R. Cook. Interfaces and Specifications for the Smalltalk-80 Collection Classes. In In OOPSLA '92 Conference Proceedings, pp. 1-15, Vancouver, Canada, October, 1992. Published as SIGPLAN Notices 27(10), October, 1992.

[Day et al. 95] Mark Day, Robert Gruber, Barbara Liskov, and Andrew C. Meyers. Subtypes vs. Where Clauses: Constraining Parametric Polymorphism. In Proceedings of the 1995 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), pp. 156-168, Austin, TX, October 1995.

[Dean & Chambers 94] Jeffrey Dean and Craig Chambers. Towards Better Inlining Decisions Using Inlining Trials. In Proceedings of the ACM Symposium on Lisp and Functional Programming, pp. 273-282, Orlando, FL, June 1994. Published as Lisp Pointers 7(3), July-September 1994.

[Dean et al. 95a] Jeffrey Dean, Craig Chambers, and David Grove. Selective Specialization in Object-Oriented Languages. In Proceedings of the 1995 SIGPLAN Conference on Programming Language Design and Implementation (PLDI '95), La Jolla, CA, June 1995.

[Dean et al. 95b] Jeffrey Dean, David Grove, and Craig Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '95), Århus, Denmark, August 1995.

[Dean et al. 96] Jeffrey Dean, Greg DeFouw, Dave Grove, Vassily Litvinov, and Craig Chambers. Vortex: An Optimizing Compiler for Object-Oriented Languages. In OOPSLA'96 Conference Proceedings, San Jose, CA, October 1996.

[Eifrig et al. 95] Jonathan Eifrig, Scott Smith, and Valery Trifonov. Sound Polymorphic Type Inference for Objects. In OOPSLA'95 Conference Proceedings, pages 169-184, Austin, TX, October 1995.

[Ellis & Stroustrup 90] Margaret A. Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, Reading, MA, 1990.

[Freeman-Benson 89] Bjorn N. Freeman-Benson. A Proposal for Multi-Methods in Self. Unpublished manuscript, December, 1989.

[Gabriel et al. 91] Richard P. Gabriel, Jon L White, and Daniel G. Bobrow. CLOS: Integrating Object-Oriented and Functional Programming. In Communications of the ACM 34(9), pp. 28-38, September, 1991.

[Ghelli 91] Giorgio Ghelli. A Static Type System for Message Passing. In OOPSLA '91 Conference Proceedings, pp. 129-145, Phoenix, AZ, October, 1991. Published as SIGPLAN Notices 26(11), November, 1991.

[Goldberg & Robson 83] Adele Goldberg and David Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983.

[Goldberg 84] Adele Goldberg. Smalltalk-80: The Interactive Programming Environment. Addison-Wesley, Reading, MA, 1984.

[Grove et al. 95] David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers. Profile-Guided Receiver Class Prediction. In Proceedings of the 1995 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), Austin, TX, October 1995.

[Grove 95] David Grove. The Impact of Interprocedural Class Analysis on Optimization. In Proceedings of CASCON '95, pp. 195-203, Toronto, Canada, November 1995.

[Halbert & O'Brien 86] Daniel C. Halbert and Patrick D. O'Brien. Using Types and Inheritance in Object-Oriented Languages. Technical report DEC-TR-437, Digital Equipment Corp., April, 1986.

[Harbison 92] Samuel P. Harbison. Modula-3. Prentice Hall, Englewood Cliffs, NJ, 1992.

[Harrison & Ossher 90] William Harrison and Harold Ossher. Subdivided Procedures: A Language Extension Supporting Extensible Programming. In Proceedings of the 1990 International Conference on Computer Languages, pp. 190-197, New Orleans, LA, March, 1990.

[Harrison & Ossher 93] William Harrison and Harold Ossher. Subject-Oriented Programming (A Critique of Pure Objects). In OOPSLA '93 Conference Proceedings, pp. 411-428, Washington, D.C., September 1993. Published as SIGPLAN Notices 28(10), October 1993.

[Hölzle et al. 91a] Urs Hölzle, Bay-Wei Chang, Craig Chambers, Ole Agesen, and David Ungar. The Self Manual, Version 1.1. Unpublished manual, February, 1991.

[Hölzle et al. 91b] Urs Hölzle, Craig Chambers, and David Ungar. Optimizing Dynamically-Typed Object-Oriented Programming Languages with Polymorphic Inline Caches. In ECOOP '91 Conference Proceedings, pp. 21-38, Geneva, Switzerland, July, 1991.

[Hölzle et al. 92] Urs Hölzle, Craig Chambers, and David Ungar. Debugging Optimized Code with Dynamic Deoptimization. To appear in Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, San Francisco, CA, June, 1992.

[Hölzle 93] Urs Hölzle. Integrating Independently-Developed Components in Object-Oriented Languages. In ECOOP '93 Conference Proceedings, pp. 36-56, Kaiserslautern, Germany, July 1993. Published as Lecture Notes in Computer Science 707, Springer-Verlag, Berlin, 1993.

[Hudak et al. 90] Paul Hudak, Philip Wadler, Arvind, Brian Boutel, Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young. Report on the Programming Language Haskell, Version 1.0. Unpublished manual, April, 1990.

[Hutchinson 87] Norman C. Hutchinson. Emerald: An Object-Based Language for Distributed Programming. Ph.D. thesis, University of Washington, January, 1987.

[Hutchinson et al. 87] Norman C. Hutchinson, Rajendra K. Raj, Andrew P. Black, Henry M. Levy, and Eric Jul. The Emerald Programming Language Report. Technical Report 87-10-07, Department of Computer Science, University of Washington, October, 1987.

[Ingalls 86] Daniel H. H. Ingalls. A Simple Technique for Handling Multiple Polymorphism. In OOPSLA '86 Conference Proceedings, pp. 347-349, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Jenks & Sutor 92] Richard D. Jenks and Robert S. Sutor. Axiom: the Scientific Computing System. Springer-Verlag. 1992.

[Kiczales et al. 91] Gregor Kiczales, James des Rivières, and Daniel G. Bobrow. The Art of the Meta-Object Protocol. MIT Press, Cambridge, MA, 1991.

[Kristensen et al. 87] B. B. Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, and Kristen Nygaard. The BETA Programming Language. In Research Directions in Object-Oriented Programming, MIT Press, Cambridge, MA, 1987.

[LaLonde et al. 86] Wilf R. LaLonde, Dave A. Thomas, and John R. Pugh. An Exemplar Based Smalltalk. In OOPSLA '86 Conference Proceedings, pp. 322-330, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Leavens 89] Gary Todd Leavens. Verifying Object-Oriented Programs that use Subtypes. Ph.D. thesis, MIT, 1989.

[Leavens & Weihl 90] Gary T. Leavens and William E. Weihl. Reasoning about Object-Oriented Programs that use Subtypes. In OOPSLA/ECOOP '90 Conference Proceedings, pp. 212-223, Ottawa, Canada, October, 1990. Published as SIGPLAN Notices 25(10), October, 1990.

[Lieberman 86] Henry Lieberman. Using Prototypical Objects to Implement Shared Behavior in Object-Oriented Systems. In OOPSLA '86 Conference Proceedings, pp. 214-223, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Lieberman et al. 87] Henry Lieberman, Lynn Andrea Stein, and David Ungar. The Treaty of Orlando. In Addendum to the OOPSLA '87 Conference Proceedings, pp. 43-44, Orlando, FL, October, 1987. Published as SIGPLAN Notices 23(5), May, 1988.

[Liskov et al. 77] Barbara Liskov, Alan Snyder, Russell Atkinson, and J. Craig Schaffert. Abstraction Mechanisms in CLU. In Communications of the ACM 20(8), pp. 564-576, August, 1977.

[Liskov et al. 81] Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, and Alan Snyder. CLU Reference Manual. Springer-Verlag, Berlin, 1981.

[Liskov et al. 94] Barbara Liskov, Dorothy Curtis, Mark Day, Sanjay Ghemawhat, Robert Gruber, Paul Johnson, and Andrew C. Myers. Theta Reference Manual. Technical Report Programming Methodology Group Memo 88, MIT Laboratory for Computer Science, February 1994.

[Litvinov 98] Vassily Litvinov. Constraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System. In OOPSLA '98 Conference Proceedings, Vancouver, B.C., October, 1998.

[Madsen & Møller-Pedersen 89] Ole Lehrmann Madsen and Birger Møller-Pedersen. Virtual Classes: A Powerful Mechanism in Object-Oriented Programming. In Proceedings OOPSLA '89, pages 397-406, October 1989. Published as ACM SIGPLAN Notices, volume 24, number 10.

[Madsen et al. 93] Ole Lehrmann Madsen, Birger Møller-Pedersen, and Krysten Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, Reading, MA, 1993.

[Meyer 86] Bertrand Meyer. Genericity versus Inheritance. In OOPSLA '86 Conference Proceedings, pp. 391-405, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Meyer 88] Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, New York, 1988.

[Meyer 92] Bertrand Meyer. Eiffel: The Language. Prentice Hall, New York, 1992.

[Milner et al. 90] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.

[Mitchell et al. 91] John Mitchell, Sigurd Meldal, and Neel Hadhav. An Extension of Standard ML Modules with Subtyping and Inheritance. In Conference Record of the ACM Symposium on Principles of Programming Languages, Williamsburg, VA, January, 1991.

[Moon 86] David A. Moon. Object-Oriented Programming with Flavors. In OOPSLA '86 Conference Proceedings, pp. 1-8, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Mugridge et al. 91] W. B. Mugridge, J. G. Hosking, and J. Hamer. Multi-Methods in a Statically-Typed Programming Language. Technical report #50, Department of Computer Science, University of Auckland, 1991. Also in ECOOP '91 Conference Proceedings, Geneva, Switzerland, July, 1991.

[Myers et al. 97] Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parameterized Types for Java. In Conference Record of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 132-145, January 1997.

[Nelson 91] Greg Nelson, editor. Systems Programming with Modula-3. Prentice Hall, Englewood Cliffs, NJ, 1991.

[Odersky & Wadler 97] Martin Odersky and Philip Wadler. Pizza into Java: Translating Theory into Practice. In Conference Record of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 146-159, January 1997.

[Omohundro 93] Stephen Omohundro. The Sather 1.0 Specification. Unpublished manual, June 1993.

[Pierce & Turner 92] Benjamin C. Pierce and David N. Turner. Statically Typed Multi-Methods via Partially Abstract Types. Unpublished manuscript, October, 1992.

[Pierce & Turner 93] Benjamin C. Pierce and David N. Turner. Object-Oriented Programming Without Recursive Types. In Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages, January, 1993.

[Pierce & Turner 98] Benjamin C. Pierce and David N. Turner. Local Type Inference. In Conference Record of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 252-265, January 1998.

[Rees & Clinger 86] Jonathan Rees and William Clinger, editors. Revised^{3 Report on the Algorithmic Language Scheme}. In SIGPLAN Notices 21(12), December, 1986.

[Rouaix 90] Francois Rouaix. Safe Run-Time Overloading. In Conference Record of the 17th Annual ACM Symposium on Principles of Programming Languages, pp. 355-366, San Francisco, CA, January, 1990.

[SRC] DEC SRC Modula-3 Implementation. Digital Equipment Corporation Systems Research Center. http://www.research.digital.com/SRC/modula-3/html/home.html.

[Santas 93] Philip S. Santas. A Type System for Computer Algebra. In International Symposium on Symbolic and Algebraic Computation. 1993.

[Schaffert et al. 85] Craig Schaffert, Topher Cooper, and Carrie Wilpolt. Trellis Object-Based Environment, Language Reference Manual. Technical report DEC-TR-372, November, 1985.

[Schaffert et al. 86] Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Kilian, and Carrie Wilpolt. An Introduction to Trellis/Owl. In OOPSLA '86 Conference Proceedings, pp. 9-16, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Snyder 86] Alan Snyder. Encapsulation and Inheritance in Object-Oriented Programming Languages. In OOPSLA '86 Conference Proceedings, pp. 38-45, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.

[Steele 84] Guy L. Steele Jr. Common LISP. Digital Press, 1984.

[Stroustrup 86] Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, Reading, MA, 1986.

[Sun 95] Sun Microsystems. The Java Language Specification. Unpublished manual, May 1995.

[Teitelman 84] Warren Teitelman. The Cedar Programming Environment: A Midterm Report and Examination. Xerox PARC technical report CSL-83-11, June, 1984.

[Thorup 97] Kresten Krab Thorup. Genericity in Java with Virtual Types. In Proceedings ECOOP '97, Jyvaskyla, Finland, June 1997. Springer-Verlag.

[Touretzky 86] D. Touretzky. The Mathematics of Inheritance Systems. Morgan-Kaufmann, 1986.

[Ungar & Smith 87] David Ungar and Randall B. Smith. Self: The Power of Simplicity. In OOPSLA '87 Conference Proceedings, pp. 227-241, Orlando, FL, October, 1987. Published as SIGPLAN Notices 22(12), December, 1987. Also published in Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June, 1991.

[Ungar et al. 91] David Ungar, Craig Chambers, Bay-Wei Chang, and Urs Hölzle. Organizing Programs without Classes. In Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June, 1991.

[Ungar 95] David Ungar. Annotating Objects for Transport to Other Worlds. In Proceedings of the 1995 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), pp. 73-87, Austin, TX, October 1995.

[Wadler & Blott 89] Philip Wadler and Stephen Blott. How to Make ad-hoc Polymorphism Less ad-hoc. In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 60-76, January 1989.

[Watt et al. 88] Steven M. Watt, Richard D. Jenks, Robert S. Sutor, and Barry M. Trager. The Scratchpad II Type System: Domains and Subdomains. In Proceedings of the International Workshop on Scientific Computation, Capri, Italy, 1988. Published in Computing Tools for Scientific Problem Solving, A. M. Miola, ed., Academic Press, 1990.