F-bounded polymorphism for object-oriented programming

Proceedings of the 4th International Conference on Functional Programming Languages and Computer Architecture, FPCA 1989

Volumn , Issue , 1989, Pages 273-280

  Canning, Peter ^a   Cook, William ^a   Hill, Walter ^a   Olthoff, Walter ^a   Mitchell, John C ^b  

^a HEWLETT PACKARD LABORATORIES   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; POLYMORPHISM; SEMANTICS;

BOUNDED QUANTIFICATION; POLYMORPHIC FUNCTIONS; RECURSIVE TYPES; SUBTYPINGS;

OBJECT ORIENTED PROGRAMMING;

EID: 84976755024     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/99370.99392     Document Type: Conference Paper

References (25)

1. Val Breazu-Tannen, Thierry Coquand, Carl Gunter, and A. Scedrov. Inheritance and explicit coercion. In Proc. IEEE Symposium on Logic in Computer Science, pages 112133, 1989.
2. Alan H. Borning and Dan H. Ingalls. A type declaration and inference system for Smalltalk. In Proc. of Conf. on Principles of Programming Languages, pages 133-141, 1982.
3. Kim Bruce and G. Longo. A modest model of records, inheritance and bounded quantificatioii. In Proc. IEEE Symposium on Logic in Computer Science, pages 38-50, 1988.
4. Kim B. Bruce, Albert R. Meyer, and John C. Michell. The semantics of second-order lambda calculus. Information and Computation, (to appear).
5. Luca Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, LNCS 173, pages 51-68. Springer-Verlag, 1984.
6. Luca Cardelli. Amber. In Combinators and Functional Programming Languages, LNCS 242, pages 21-47, 1986.
7. Luca Cardelli. Structural subtyping and the notion of power type. In Conf. Ree. ACM Symp. on Pinciples of Programming Languages, pages 70-79, 1988.
8. Peter Canning, William Cook, Walt Hill, and Walter Olthoff. Interfaces for strongly-typed object-oriented programming. In Proc. ACM Conf. on Object-Oriented Programming: Systems, Languages and Appli-cations, 1989 (to appear).
9. Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kaslow, and Greg Nelson. The Modula-3 type system. In Conf. Ree. ACM Symp. on Pinciples of Programming Languages, pages 202-212, 1989.
10. William Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, March 1989.
11. William Cook. A proposal for making Eiffel type-safe. In European Conf. on Object-Oriented Programming, 1989 (to appear).
12. Pavel Curtis. Constrained Quantification in Polymorphic Type Analysis (Draft). PhD thesis, Cornell, 1987.
13. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, 1985.
14. Adele Goldberg and Dave Robson. Smalhalk-80: the Language and Its Implementation. Addison-Wesley, 1983.
15. Ralph Johnson and Justin Graver. A user's guide to Typed Smalltalk. Technical Report UIUCDCS-R-88-1457, University of Illinois, 1988.
16. Ralph Johnson, Justin Graver, and L. Zurawski. TS: An optimizing compiler for Smalltalk. In Proc. ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications, 1988.
17. L. Jategaonkar and John C. Mitchell. ML with extended pattern matching and subtypes. In Proc. ACM conf. on Lisp and Functional Programming, 1988.
18. Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
19. John C. Mitchell. Coercion and type inference (summary). In Conf. Ree. ACM Symp. on Pinciples of Programming Languages, 1984.
20. Dedier Remy. Typechecking records and variants in a natural extension of ML. In Conf. Ree. ACM Symp. on Pinciples of Programming Languages, pages 77-88, 1989.
21. John Reynolds. User-defined data types and procedural data structures as complimentary appraches to data abstraction. In New Advances in Algorithmic Languages. IRJA, 1975.
22. M. B. Smyth and G. D. Gordon. The category-theoretic solutions of recursive domain equations. SIAM Journal of Computing, II(4):761-783, 1982.
23. Alan Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proc. ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 38-45, 1986.
24. Mitchell Wand. Complete type inference for simple objects. In Proc. IEEE Symposium on Logic in Computer Science, pages 37-44, 1987.
25. Mitchell Wand. Type inference for objects with instance variables and inheritance, 1988. manuscript.