Lightweight parametric polymorphism for Oberon

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1204, Issue , 1997, Pages 140-154

  Roe, Paul ^a   Szyperski, Clemens ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING;

EXPLICIT COSTS; PARAMETRIC POLYMORPHISM; REUSABLE CODE;

COMPUTATIONAL LINGUISTICS;

EID: 84957388529     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62599-2_36     Document Type: Conference Paper

References (16)

1. A V Aho, R Sethi, and J D Ullman. Compilers, principles, techniques, and tools. Addison-Wesley, 1986.
2. L Cardelli and P Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, December 1985.
3. M Day, R Gruber, B Liskov, and A Myers. Subtypes vs. Where Clauses: Constraining parametric polymorphism. In Proc, 10th Conf on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95), pages 156-168, October 1995.
4. K J Gough and G M Mohay. Modula-2: A Second Course in Programming. Prentice Hall, 1988.
5. B Liskov, D Curtis, M Day, S Ghemawat, R Gruber, P Johnson, and A C Myers. Theta Reference Manual, preliminary version. Programming Methodology Group Memo 88, MIT Laboratory for Computer Science, Cambridge, MA, February 1995.
6. B Liskov and J Guttag. Abstraction and Specification in Program Development. MIT Press, 1986.
7. B Liskov, A Snyder, R Atkinson, and C Schaffert. Abstraction mechanisms in clu. Comm ACM, 20(8):564-576, August 1977.
8. B Meyer. Eiffel - The Language. Prentice Hall, 2 edition, 1992.
9. R Morrison, A Dearie, R C H Connor, and A L Brown. An ad-hoc approach to the implementation of polymorphism. ACM TOPLAS, 13(3):342-371, 1991.
10. H Mössenböck. Object-Oriented Programming in Oberon-2. Springer Verlag, 1993.
11. B C Pierce. Bounded quantification is undecidable. Information and Computation, 112(1):131-165, July 1994.
12. M Reiser and N Wirth. Programming in Oberon - Steps beyond Pascal and Modula. Addison-Wesley, 1992.
13. G Smith and D Volpano. Towards an ML-style Polymorphic Type System for C. In 1996 Eurpoean Symposium on Programming, Linköping, Sweden, April 1996.
14. D Stoutamire and S Omohundro. Sather 1.1. Technical report, International Computer Science Institute, Berkeley, CA, 1996.
15. C Szyperski, S Omohundro, and S Murer. Engineering a Programming Languager- the Type and Class System of Sather. In Proc, 1st Inti Conf on Programming Languages and System Architectures, number 782 in Springer LNCS, Zurich, Switzerland, March 1994.
16. R D Tennent. Principles of Programming Languages. Prentice Hall Int., 1981.