Modular typechecking for hierarchically extensible datatypes and functions

ACM Transactions on Programming Languages and Systems

Volumn 26, Issue 5, 2004, Pages 836-889

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

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

^c University of Washington   (United States)

Author keywords

Extensible datatypes; Extensible functions; Modular typechecking

Indexed keywords

EXTENSIBLE DATATYPES; EXTENSIBLE FUNCTIONS; IDIOMS; MODULAR TYPECHECKING;

COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; HIERARCHICAL SYSTEMS; MODULA (PROGRAMMING LANGUAGE); THEOREM PROVING; XML;

OBJECT ORIENTED PROGRAMMING;

EID: 11344283305     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/1018203.1018207     Document Type: Conference Paper

References (50)

1. ANCONA, D., LAGORIO, G., AND ZUCCA, E. 2002. A formal framework for Java separate compilation. In Proceedings of the 2002 European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, vol. 2374, Malaga, Spain (June). Springer-Verlag.
2. ANCONA, D. AND ZUCCA, E. 2001. True modules for Java-like languages. In J. L. Knudsen, Ed. ECOOP 2001-Object-Oriented Programming, Lecture Notes in Computer Science, vol. 2072. Springer.
3. ANCONA, D. AND ZUCCA, E. 2002. A calculus of module systems. J. Funct. Prog. 12, 2, 91-132 (March).
4. ARNOLD, K., GOSLING, J., AND HOLMES, D. 2000. The Java Programming Language Third Edition. Addison-Wesley, Reading, MA, third edition.
5. BONNIOT, D. 2002. 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).
6. BOURDONCLE, F. AND MERZ, S. 1997. Type-checking higher-order polymorphic multi-methods. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 302-315, Paris, France, 15-17 (Jan).
7. BRACHA, G. AND COOK, W. 1990. Mixin-based inheritance. In ECOOP/OOPSLA '90, 303-311.
8. CARDELLI, L. 1988. A semantics of multiple inheritance. Information and Computation 76, 2/3, 138-164 (Feb).
9. CARDELLI, L. 1997. Program fragments, linking, and modularization. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 266-277, Paris, France, 15-17 (Jan.).
10. CARDELLI, L. and WEGNER, P. 1985. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17, 4, 471-522 (Dec.).
11. CHAMBERS, C. AND CHEN, W. 1999. Efficient multiple and predicate dispatching. In L. Meissner, Ed. In Proceeings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'99), volume 34.10 of ACM Sigplan Notices, 238-255, N.Y., Nov. 1-5. ACM Press.
12. CHAMBERS, C. AND LEAVENS, G. T. 1995. Typechecking and modules for multimethods. ACM Trans. Prog. Lang. Sys. 17, 6, 805-843 (Nov.).
13. CLIFTON, C., LEAVENS, G. T., CHAMBERS, C., AND MILLSTEIN, T. 2000. MultiJava: Modular open classes and symmetric multiple dispatch for Java. In OOPSLA 2000 Conference on Object-Oriented Programming, Systems, Languages, and Applications, Minneapolis, Minnesota, volume 35(10) of ACM SIGPLAN Notices, 130-145 (Oct.).
14. COOK, W. R. 1991. Object-oriented programming versus abstract data types. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds. Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May/June, LNCS 489, 151-178. Springer-Verlag, New York, NY.
15. DROSSOPOULOU, S., EISENBACH, S., and WRAGG, D. 1999. A fragment calculus-towards a model of separate compilation, linking and binary compatibility. In Logic in Computer Science, 147-156.
16. DUGGAN, D. AND SOURELIS, C. 1996. Mixin modules. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 262-273, Philadelphia, Pennsylvania (May).
17. DUGGAN, D. AND TECHAUBOL, C.-C. 2001. Modular mixin-based inheritance for application frameworks. In Proceedings of the OOPSLA '01 conference on Object Oriented Programming Systems Languages and Applications, 223-240. ACM Press.
18. ERNST, M., KAPLAN, C., AND CHAMBERS, C. 1998. Predicate dispatching: A unified theory of dispatch. In E. Jul, Ed. ECOOP '98-Object-Oriented Programming, Lecture Notes in Computer Science, vol. 1445, 186-211. Springer.
19. FINDLER, R. B. AND FLATT, M. 1998. Modular object-oriented programming with units and mixins. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 34(1) of ACM SIGPLAN Notices, 94-104. ACM (June).
20. FISHER, K. AND REPPY, J. 1999. The design of a class mechanism for MOBY. In Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, 37-49, Atlanta, Georgia (May 1-4).
21. FISHER, K. AND REPPY, J. 2000. Extending Moby with inheritance-based subtyping. In 14th European Conference on Object-Oriented Programming, LNCS 1850, 83-107 (June).
22. FLATT, M. AND FELLEISEN, M. 1998. Units: Cool modules for HOT languages. In Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation (PLDI), 236-248, Montreal, Canada (17-19 June).
23. FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. 1998. Classes and mixins. In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, 171-183, New York, NY.
24. FUH, Y.-C. C. AND MISHRA, P. 1990. Type inference with subtypes. Theoretical Computer Science 73, 2, 155-175 (June).
25. GAMMA, E., HELM, R., JOHNSON, R. E., AND VLISSIDES, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Massachusetts.
26. GARRIGUE, J. 2000. Code reuse through polymorphic variants. In Workshop on Foundations of Software Engineering, November.
27. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. 2000. The Java Language Specification Second Edition. The Java Series. Addison-Wesley, Boston, Mass.
28. HIRSCHOWITZ, T. AND LEROY, X. 2002. Mixui modules in a call-by-value setting. In D. Le Métayer, Ed, Programming Languages and Systems, ESOP'2002, volume 2305 of Lecture Notes in Computer Science, 6-20. Springer-Verlag.
29. HOANG, M. AND MITCHELL, J. C. 1995. Lower bounds on type inference with subtypes. In Conference Record of POPL '95: 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, Calif, 176-185, New York, NY (Jan.) ACM.
30. IGARASHI, A., PIERCE, B. C., AND WADLER, P. 2001. Featherweight Java: A minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems 23, 3, 396-450, May.
31. KAHRS, S., SANNELLA, D., AND TARLECKI, A. 1997. The definition of extended ML: A gentle introduction. Theoretical Computer Science 173, 2, 445-484, 28(Feb.).
32. KRISHNAMURTHI, S., FELLEISEN, M., AND FRIEDMAN, D. P. 1998. Synthesizing object-oriented and functional design to promote re-use. In E. Jul, Ed. ECOOP'98-Object-Oriented Programming, 12th European Conference, Brussels, Belgium, Lecture Notes in Computer Science, vol. 1445, 91-113. Springer-Verlag (July).
33. MACQUEEN, D. 1984. Modules for standard ML. In Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, 198-207. ACM (Aug.).
34. MCDIRMID, S., FLATT, M., AND HSIEH, W. C. 2001. Jiazzi: new-age components for old-fashioned Java. In Proceedings of the OOPSLA '01 conference on Object Oriented Programming Systems Languages and Applications, 211-222. ACM Press.
35. MILLSTEIN, T. 2003. Reconciling Software Extensibility with Modular Program Reasoning. Ph.D. dissertation, Department of Computer Science & Engineering, University of Washington.
36. MILLSTEIN, T., BLECKNER, C., AND CHAMBERS, C. 2002. Modular typechecking for hierarchically extensible datatypes and functions. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '02), volume 37(9) of ACM SIGPLAN Notices, 110-122, New York, NY (Sept.) ACM.
37. MILLSTEIN, T. AND CHAMBERS, C. 1999. Modular statically typed multimethods. In R. Guerraoui, editor, ECOOP '99 - Object-Oriented Programming 13th European Conference, Lisbon Portugal, Lecture Notes in Computer Science, vol. 1628, 279-303. Springer-Verlag, New York, NY (June).
38. MILLSTEIN, T. AND CHAMBERS, C. 2002. Modular statically typed multimethods. Information and Computation 175, 1, 76-118 (May).
39. MILNER, R., TOFTE, M., HARPER, R., AND MACQUEEN, D. 1997. The Definition of Standard ML (Revised). The MIT Press.
40. NELSON, G. 1991. Systems Programming with Modula-3. Prentice Hall.
41. NORDLANDER, J. 1999. Pragmatic subtyping in polymorphic languages. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 34, 1, 216-227.
42. ODERSKY, M. AND WADLER, P. 1997. Pizza into Java: Translating theory into practice. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 146-159, Paris, France, 15-17 (Jan.).
43. PIERCE, B. C. AND TURNER, D. N. 2000. Local type inference. ACM Trans. Prog. Lang. Syst. 22, l, 1-44 (Jan.).
44. RÉMY, D. AND VOUILLON, J. 1998. Objective ML: An effective object-oriented extension of ML. Theory and Practice of Object Systems 4, 1, 27-52.
45. REPPY, J. AND RIECKE, J. 1996. Simple objects for Standard ML. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, 171-180, Philadelphia, Pennsylvania, 21-24 (May).
46. REYNOLDS, J. C. 1978. User defined types and procedural data structures as complementary approaches to data abstraction. In D. Gries, editor, Programming Methodology, A Collection of Articles by IFIP WG2.3, 309-317. Springer-Verlag, New York, NY.
47. SHALIT, A. 1997. The Dylan Reference Manual: The Definitive Guide to the New Object-Oriented Dynamic Language. Addison-Wesley, Reading, Mass.
48. WADLER, P. 1990. Linear types can change the world! In M. Broy and C. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 7-359. North Holland (Apr.).
49. WRIGHT, A. K. AND FELLEISEN, M. 1994. A syntactic approach to type soundness. Information and Computation 115, 1, 38-94, 15 (Nov.).
50. ZENGER, M., AND ODERSKY, M. 2001. Extensible algebraic datatypes with defaults. In Proceedings of the 2001 ACM SIGPLAN International Conference on Functional Programming. ACM (September) 3-5.