Union types for object-oriented programming

Journal of Object Technology

Volumn 6, Issue 2, 2007, Pages 31-45

  Igarashi, Atsushi ^a   Nagira, Hideshi ^a  

^a KYOTO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33847656628     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2007.6.2.a3     Document Type: Conference Paper

References (17)

1. Davide Ancona, Elena Zucca, and Sophia Drossopoulou. Overloading and inheritance. In Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL8), London, England, January 2001.
2. Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Ugo de'Liguoro. Intersection and union types: Syntax and semantics. Information and Computation, 119(2):202-230, 1995.
3. Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'98), pages 183-200, October 1998.
4. Peter Buneman and Benjamin Pierce. Union types for semistructured data. In Proceedings of the the International Database Programming Languages Workshop (DBPL7), September 1999.
5. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt. The Xtatic experience. In Proceedings of the Wokrshop on Programming Language Technology for XML (PLAN-X), Long Beach, CA, January 2005.
6. Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP2003), volume 2743 of LNCS, pages 151-175, Darmstadt, Germany, July 2003. Springer-Verlag.
7. Haruo Hosoya, Jérôme Voullion, and Benjamin Pierce. Regular expression types for XML. In Proceedings of the ACM International Conference on Functional Programming (ICFP'00), pages 11-22, September 2000.
8. Atsushi Igarashi and Hideshi Nagira. Union types for object-oriented programming. In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006), pages 1435-1441, Dijon, France, April 2006.
9. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396-450, May 2001.
10. Atsushi Igarashi and Mirko Viroli. Variant parametric types: A flexible subtyping scheme for generics. ACM Transactions on Programming Languages and Systems, 28(5):795-847, September 2006.
11. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of Aspect J. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP2001), volume 2072 of LNCS, pages 327-353, Budapest, Hungary, June 2001. Springer-Verlag.
12. Marcel Kyas. An extended type system for OCL supporting templates and transformations. In Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS2005), volume 3535 of LNCS, pages 83-98. Springer-Verlag, 2005.
13. Benjamin C. Pierce. Programming with intersection types, union types, and polymorphism. Technical Report CMU-CS-91-106, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, February 1991.
14. Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, and Andrew P. Black. Traits: Composable units of behaviour. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP2003), volume 2743 of LNCS, pages 248-174, Darmstadt, Germany, July 2003. Springer-Verlag.
15. The Aspect J Team. The AspectJ programming guide. Available online at http://www.eclipse.org/aspectj/doc/released/progguide/index.html.
16. Mads Torgersen, Erik Ernst, Christian Plesner Hansen, Peter von der Ahé, Gilad Bracha, and Neal Gafter. Adding wildcards to the Java programming language. Journal of Object Techonolgy, 3(11), December 2004. Special issue: OOPS track at SAC 2004, pp. 97-116.
17. Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, November 1994.