Static type inference for parametric classes

ACM SIGPLAN Notices

Volumn 24, Issue 10, 1989, Pages 445-450

  Ohori, Atsushi ^a   Buneman, Peter ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976742667     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/74878.74923     Document Type: Article

References (24)

1. A. Albano, L. Cardelli, and R. Orsini. Galileo: A Strongly Typed, Interactive Conceptual Language. ACM Transactions on Database Systems, 10(2):230-260, 1985.
2. R. Burstall and B Lampson. A Kernel Language for Abstract Data Types and Modules. In Semantics of Data Types, Lecture Notes in Computer Science, 173 pages 1-50, Springer-Verlag, 1984.
3. L. Cardelli. A Semantics of Multiple Inheritance. In Semantics of Data Types, Lecture Notes in Computer Science, 173 Springer-Verlag, 1984.
4. L. Cardelli and J. Mitchell. Semantic methods for object-oriented languages. Unpublished lecture notes for tutorial given at the Conference on Object-Oriented Programming Systems, Languages, and Applications, September 1988.
5. B. Courcelle. Fundamental Properties of Infinite Trees. Theoretical Computer Science, 25:95-169, 1983.
6. L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surverys, 17(4):471-522, December 1985.
7. L. Damas and R. Milner. Principal typeschemes for functional programs. In Proc. 9th ACM Symposium on Principles of Programming Languages, pages 207-212, 1982.
8. Y-C. Fuh and P. Mishra. Type inference with subtypes. In Proceedings of ESOP ‘88, pages 94-114, 1988. Springer LNCS 300.
9. A. Goldberg and D. Robson. Smalltalk-80: the language and its implementation. Addison-Wesley, 1983.
10. R. Harper, D. B. MacQueen, and R. Milner. Standard ML. LFCS Report Series ECS-LFCS-86-2, Department of Computer Science, University of Edinburgh, March 1986.
11. J.H. Ichbiah, J.G.P. Barnes, J.C. Heliard, B. Krieg-Bruckner, O. Roubine, and B.A. Wichmann. Rationale of the Design of the Programming Language Ada. SIGPLAN Notices, 14(6), 1979.
12. L. A. Jategaonkar and J.C. Mitchell. ML with extended pattern matching and subtypes. In Proc. ACM Conference on LISP and Functional Programming, pages 198-211, Snowbird, Utah, July 1988.
13. Barbara Liskov, Russell Atkinson, Toby Bloom, Eliot Moss, J. Craig Schaffert, Robert Scheifler, and Alan Snyder. CL U Reference Manual. Volume 114 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1981.
14. D. B. MacQueen. Using dependent types to express modular structure. In Conf. Record Thirteenth Ann. Symp. Principles of Programming Languages, pages 277-286, ACM, January 1986.
15. R. Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17:348-375, 1978.
16. J. C. Mitchell and G. D. Plotkin. Abstract types have existential types. In Proc. 12th ACM Symposium on Principles of Programming Languages, pages 37-51, New Oreans, January 1985.
17. A. Ohori and P. Buneman. Type Inference in a Database Programming Language. In Proc. ACM Conference on LISP and Functional Programming, pages 174-183, Snowbird, Utah, July 1988.
18. A. Ohori, P. Buneman, and V. Breazu-Tannen. Database Programming in Machiavelli - a Polymorphis Language with Static Type Inference. In Proceedings of the ACM SIGMOD conference, pages 46-57, May - June 1989.
19. A. Ohori. A Simple Semantics for ML Polymorphism. In Proceedings of Conference on Functional Programming Languages and Computer Architecture, September 1989. To appear.
20. [Oho89b] A. Ohori. A Study of Types, Semantics and Languages for Databases and Object-oriented Programming. PhD thesis, University of Pennsylvania, 1989. To appear.
21. D. Rémy. Typechecking records and variants in a natural extension of ml. In David MacQueen, editor, ACM Conference on Principles of Programming Languages, 1989.
22. R. Stansifer. Type Inference with Subtypes. In Proc. 15th ACM Symposium on Principles of Programming Languages, pages 88-97, 1988.
23. D.A. Turner. Miranda: A non-strict functional language with polymorphic types. In Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science, 201 pages 1-16, Springer-Verlag, 1985.
24. M. Wand. Complete Type Inference for Simple Objects. In Proceedings of the Second Anual Symposium on Logic in Computer Science, pages 37-44, Ithaca, New York, June 1987.