Modular typechecking for hierarchically extensible datatypes and functions

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2002, Pages 110-122

  Millstein, Todd ^a   Bleckner, Colin ^a   Chambers, Craig ^a  

^a WASHINGTON UNIVERSITY   (United States)

Author keywords

Extensible datatypes; Extensible functions; Modular typechecking

Indexed keywords

BOOLEAN FUNCTIONS; DATA FLOW ANALYSIS; FORMAL LANGUAGES; HIERARCHICAL SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROGRAM INTERPRETERS; REQUIREMENTS ENGINEERING; SOFTWARE PROTOTYPING;

EXTENSIBLE MARKUP LANGUAGES; FUNCTIONAL LANGUAGES; HIERARCHICAL EXTENSIBLE DATATYPES; HIERARCHICAL EXTENSIBLE FUNCTIONS; MODULAR TYPECHECKING; PROTOTYPE INTERPRETER;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036949061     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581478.581489     Document Type: Conference Paper

References (30)

1. K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language Third Edition. Addison-Wesley, Reading, MA, third edition, 2000.
2. D. Bonniot. Type-checking multi-methods in ML (a modular approach). In The Ninth International Workshop on Foundations of Object-Oriented Languages, FOOL 9, Portland, Oregon, USA, January 2002.
3. F. Bourdoncle and S. Merz. Type-checking higher-order polymorphic multi-methods. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 302-315, Paris, France, 15-17 Jan. 1997.
4. G. Bracha and W. Cook. Mixin-based inheritance. In ECOOP/OOPSLA '90, pages 303-311, 1990.
5. L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2/3):138-164, Feb. 1988. Also appeared in Semantics of Data Types, LNCS 173, 1984.
6. G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 117(1):115-135, Feb. 1995. A preliminary version appeared in ACM Conference on LISP and Functional Programming, June 1992 (pp. 182-192).
7. C. Chambers. Object-oriented multi-methods in Cecil. In O. L. Madsen, editor, ECOOP '92. European Conference on Object-Oriented Programming, Utrecht, The Netherlands, volume 615 of Lecture Notes in Computer Science, pages 33-56. Springer-Verlag, New York, NY, 1992.
8. C. Chambers and G. T. Leavens. Typechecking and modules for multimethods. ACM Transactions on Programming Languages and Systems, 17(6):805-843, Nov. 1995.
9. W.R. Cook. Object-oriented programming versus abstract data types. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May/June 1990, volume 489 of Lecture Notes in Computer Science, pages 151-178. Springer-Verlag, New York, NY, 1991.
10. M. Ernst, C. Kaplan, and C. Chambers. Predicate dispatching: A unified theory of dispatch. In. E. Jul, editor, ECOPP '98-Object-Oriented Programming, volume 1445 of Lecture Notes in Computer Science, pages 186-211, Springer, 1998.
11. R. B. Findler and M. Flatt. Modular object-oriented programming with units and mixins. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), volume 34(1) of ACM SIGPLAN Notices, pages 94-104. ACM, June 1998.
12. K. Fisher and J. Reppy. The design of a class mechanism for MOBY. In Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, pages 37-49, Atlanta, Georgia, May 1-4, 1999.
13. K. Fisher and J. Reppy. Extending Moby with inheritance-based sub-typing. In 14th European Conference on Object-Oriented Programming, volume 1850 of Lecture Notes in Computer Science, pages 83-107, June 2000.
14. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pages 171-183, New York, NY, 1998.
15. J. Garrigue. Code reuse through polymorphic variants. In Workshop on Foundations of Software Engineering, November 2000.
16. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification Second Edition. The Java Series. Addison-Wesley, Boston, Mass., 2000.
17. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396-450, May 2001.
18. S. Kahrs, D. Sannella, and A. Tarlecki. The definition of extended ML: A gentle introduction. Theoretical Computer Science, 173(2):445-484, 28 Feb. 1997.
19. S. Krishnamurthi, M. Felleisen, and D. P. Friedman. Synthesizing object-oriented and functional design to promote re-use. In E. Jul, editor, ECOOP'98-Object-Oriented Programming, 12th European Conference, Brussels, Belgium, volume 1445 of Lecture Notes in Computer Science, pages 91-113. Springer-Verlag, July 1998.
20. S. McDirmid, M. Flatt, and W. C. Hsieh. Jiazzi: new-age components for old-fashioned java. In Proceedings of the OOPSLA '01 conference on Object Oriented Programming Systems Languages and Applications, ACM Press, 2001.
21. T. Millstein, C. Bleckner, and C. Chambers. Modular typechecking for hierarchically extensible datatypes and functions. Technical Report UW-CSE-02-07-05, Department of Computer Science and Engineering, University of Washington, July 2002. ftp://ftp.cs.washington.edu/tr/2002/07/UW-CSE-02-07-05.pdf.
22. T. Millstein and C. Chambers. Modular statically typed multimethods. In R. Guerraoui, editor, ECOOP '99 - Object-Oriented Programming 13th European Conference, Lisbon Portugal, volume 1628 of Lecture Notes in Computer Science, pages 279-303. Springer-Verlag, New York, NY, June 1999.
23. T. Millstein and C. Chambers. Modular statically typed multimethods. Information and Computation, 175(1): 76-118, May 2002.
24. G. Nelson. Systems Programming with Modula-3. Prentice Hall, 1991.
25. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, 15-17 Jan. 1997.
26. D. Rémy and J. Vouillon. Objective ML: An effective object-oriented extension of ML. Theory and Practice of Object Systems, 4(1):27-52, 1998.
27. J. Reppy and J. Riecke. Simple objects for Standard ML. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Languages Design and Implementation, pages 171-180, Philadelphia, Pennsylvania, 21-24, May 1996.
28. J. C. Reynolds. User defined types and procedural data structures as complementary approaches to data abstraction. Programming Methodology, A Collection of Articles by IFIP WG2.3, In D. Gries, editor, pages 309-317 Springer-Verlag, New York, NY, 1978.
29. A. Shalit. The Dylan Reference Manual: The Definitive Guide to the New Object-Oriented Dynamic Language. Addison-Wesley, Reading, Mass., 1997.
30. M. Zenger and M. Odersky. Extensible algebraic datatypes with defaults. In Proceedings of the 2001 ACM SIGPLAN International Conference on Functional Programming. ACM, September 3-5 2001.