A typeful approach to object-oriented programming with multiple inheritance

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

Volumn 3057, Issue , 2004, Pages 23-38

  Chen, Chiyan ^a   Shi, Rui ^a   Xi, Hongwei ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BINARY METHOD; DATATYPES; MULTIPLE INHERITANCE; OBJECTED-ORIENTED PROGRAMMING; SOFTWARE PRACTICES; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84974696066     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_3     Document Type: Conference Paper

References (17)

1. Kim B. Bruce, Luca Cardelli, and Benjamin Pierce. Comparing Object Encodings. Information and Computation, 155:108-133, 1999.
2. Kim B. Bruce. Foundations of Object-Oriented Languages. The MIT Press, Cambridge, MA, 2002. Xx+-384 pp.
3. Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2-3):138-164, February-March 1988.
4. Adriana B. Compagnoni and Benjamin C. Pierce. Higher-Order Intersection Types and Multiple Inheritance. Mathematical Structures in Computer Science, 6(5):469-501, 1996.
5. A. Goldenberg and D. Robson. Smalltalk-80: The Language and Its Implementation. Addison Wesley, 1983.
6. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, and Philip L. Wadler. Type Classes in Haskell. ACM Transactions on Programming Languages and Systems, 18(2):109-138, March 1996.
7. Ralf Hinze. A New Approach to Generic Functional Programming. In Proceedings of 27th Annual ACM SIGPLAN Symposium on Principles of Programming Languages (POPL ’00), pages 119-132. Boston, 2000.
8. P Jansson and J. Jeuring. PolyP - Polytypic programming language extension. In Proceedings of 24th ACM Symposium on Principles of Programming Languages (POPL ’97), pages 470-482. Paris, France, 1997.
9. Chamond Liu. Smalltalk, Objects, and Design. Manning Publications Co., Greenwich, CT 06830, 1996. x+289 pp.
10. Robin Milner, Mads Tofte, Robert W. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997. ISBN 0-262-63181-4.
11. Simon Peyton Jones et al. Haskell 98-A non-strict, purely functional language. Available at http://www.haskell.org/onlinereport/, February 1999.
12. Rui Shi and Hongwei Xi. Some Examples of Structuring Libraries with Parametrized Classes, February 2004. Available at: http://www.cs.bu.edu/˜hwxi/ATS/lib.
13. Mitchell Wand. Type Inference for Record Concatenation and Multiple Inheritance. In Proceedings of Fourth IEEE Symposium on Logic in Computer Science, pages 92-97. Pacific Grove, California, 1989.
14. Hongwei Xi, Chiyan Chen, and Gang Chen. Guarded Recursive Datatype Constructors. In Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages, pages 224-235. New Orleans, January 2003.
15. Hongwei Xi. Unifying Object-Oriented Programming with Typed Functional Programming. In Proceedings of ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM ’02), pages 117-125. Aizu-Wakamatsu, Japan, September 2002.
16. Hongwei Xi. Applied Type System, July 2003. Available at: http://www.cs.bu.edu/˜hwxi/ATS.
17. Hongwei Xi. Applied Type System (extended abstract). In post-workshop Proceedings of TYPES 2003. Springer-Verlag LNCS, February 2004. (to appear).