Subtypes vs. where clauses: Constraining parametric polymorphism

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 1995, Pages 156-168

  Day, Mark ^a   Gruber, Robert ^b   Liskov, Barbara ^b   Myers, Andrew C ^b  

^a Lotus Development Corporation   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT MECHANISM; EASE-OF-USE; GENERIC CODES; MODULAR PROGRAMMING; OBJECT-ORIENTED LANGUAGES; PARAMETERIZED TYPES; PARAMETRIC POLYMORPHISM; SEPARATE COMPILATION;

SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 0029462709     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/217838.217852     Document Type: Conference Paper

References (24)

1. Russell Atkinson, Barbara Liskov, and Robert Scheifler. Aspects of implementing CLU. In Proceedings of the ACM 1978 Annual Conference, October 1978.
2. Andrew Black and Norman Hutchinson, August 1995. Personal communication.
3. Andrew Black, Norman Hutchinson, Eric Jul, Henry Levy, and Larry Carter. Distribution and abstract types in Emerald. IEEE Transactions on SojIware Engineering, SE-13(1):65-76, January 1987.
4. Kim Bruce, Angela Schuett, and Robert van Gent. Polytoil: A type-safe polymorphic object-oriented language. In ECOOP'95, 1995.
5. Luca Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, LNCS 173, pages 51-68. Springer-Verlag, 1984.
6. Peter Canning, William Cook, Walter Hill, John Mitchell, and Walter Olthoff. F-bounded polymorphism for object-oriented programming. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pages 273-280, 1989.
7. William R. Cook. A proposal for making Eiffel type-safe. In ECOOP'89, pages 52-72, October 1989.
8. R. Dixon, T. McKee, P Schweitzer, and M. Vaughan. A fast method dispatcher for compiled languages with multiple inheritance. In OOPSLA '89 Conference Proceedings, pages 211-214, New Orleans, LA, October 1989. Published as SIGPLAN Notices 24(10), October, 1989.
9. Margaret A. Ellis and Bjarne Stroustrup. The Annotated C+ + Reference Manual. Addison- Wesley, 1990.
10. Anita K. Jones and Barbara Liskov. A language extension for expressing constraints on data access. CACM, 21(5):358-367, May 1978.
11. Dinesh Katiyar, David Luckham, John Mitchell, and Sigurd Melda. Polymorphism and subtyping in interfaces. ACM SIGPLAN Notices, 29(9):22-34, August 1994.
12. Barbara Liskov, Dorothy Curtis, Mark Day, Sanjay Ghemawhat, Robert Gruber, Paul Johnson, and Andrew C. Myers. Theta Reference Manual. Programming Methodology Group Memo 88, MIT Laboratory for Computer Science, Cambridge, MA, February 1994. Also available at http://www.pmg.lcs.mit.edu/papers/thetaref/.
13. Barbara Liskov and John Guttag. Abstraction and Specification in Program Development. Cambridge MA: MIT Press, New York: McGraw Hill, 1986.
14. Barbara Liskov, Alan Snyder, Russell Atkinson, and Craig Schaffert. Abstraction mechanisms in CLU. CACM, 20(8):564-576, August 1977.
15. Barbara Liskov and Jeannette M. Wing. A behavioral notion of subtyping. ACM TOPLAS, 16(6):1811-1841,November 1994.
16. Bertrand Meyer. Genericity versus inheritance. In Proceedings of OOPSLA '86, September 1986.
17. Andrew C. Myers and Barbara Liskov. Efficient Implementation of Parameterized Types in an Object-Oriented Language. Programming Methodology Group Memo 91, MIT Lab for Computer Science, July 1994. Also available at ftp://ftp.pmg.lcs.mit.edu/pub/thor/paramimpl.ps.gz.
18. Andrew C. Myers. Fast Object Operations in a Persistent Programming System. Technical Report MIT/LCS/TR-599, MIT Laboratory for Computer Science, Cambridge, MA, January 1994. Master's thesis.
19. Andrew C. Myers. Bidirectional object layout for separate compilation. In OOPSL.A '95 Conference Proceedings, Austin, TX, October 1995.
20. Greg Nelson, editor. Systems Programming with Modula-3. Prentice-Hall, 1991.
21. Noemi Rodrigues, Roberto Ierusalimschy, and José L. Rangel. Types in school. ACM SIGPLAN Notices, 28(8):81-89, August 1993.
22. John R. Rose. Fast dispatch mechanisms for stock hardware. In OOPSL.A '88 Conference Proceedings, pages 27-35, San Diego, CA, October 1988. Published as SIGPLAN Notices 23(11), November, 1988.
23. Craig Schaffert, Topher Cooper, and Carrie Wilpolt. Trellis Object-Based Environment, Language Reference Manual. Technical Report DEC-TR-372, Digital Equipment Corporation, November 1985. Published as SIGPLAN Notices 21(11), November, 1986.
24. Bjarne Stroustrup. Multiple inheritance for C++. In Proceedings of the Spring '87 European Unix Systems Users's Group Conference, Helsinki, May 1987.