Pizza into Java

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Pizza into Java: translating theory into practice

Full text

Pdf (1.14 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Paris, France

Pages: 146 - 159

Year of Publication: 1997

ISBN:0-89791-853-3

Authors

Martin Odersky	University of Karlsruhe
Philip Wadler	University of Glasgow

Sponsors

L'Ecole des Mines de Paris : L'Ecole des Mines de Paris
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
Ctr Natl de la Recherche Sci :
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 46, Citation Count: 86

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/263699.263715 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AW93	Alexander Aiken , Edward L. Wimmers, Type inclusion constraints and type inference, Proceedings of the conference on Functional programming languages and computer architecture, p.31-41, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165188]
	AG96	Ken Arnold and James Gosling. The Java Programming Language. Java Series, Sun Microsysterns, 1996. ISBN 0-201-63455-4.
	BTCGS91	Val Breazu-Tannen , Thierry Coquand , Carl A. Gunter , Andre Scedrov, Inheritance as implicit coercion, Information and Computation, v.93 n.1, p.172-221, July 1991 [doi>10.1016/0890-5401(91)90055-7]
	BCC+96	Kim Bruce, Luca Cardelli, Guiseppe Castagna, The Hopkins Objects Group, Gary T.Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object Systems, 1(3), 1996.
	BLM96	J. L Bank , A. C. B. Myers, Parameterized Types and Java, Massachusetts Institute of Technology, Cambridge, MA, 1996
	Bru97	Kim Bruce. Typing in object-oriented languages: Achieving expressibility and safety. Computing Surveys, to appear.
	BW88	Richard Bird , Philip Wadler, An introduction to functional programming, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1988
	CCH+89	Peter Canning , William Cook , Walter Hill , Walter Olthoff , John C. Mitchell, F-bounded polymorphism for object-oriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.273-280, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99392]
	CW85	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	DM82	Luis Damas , Robin Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-212, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582176]
	ESTZ95	Jonathan Eifrig , Scott Smith , Valery Trifonov , Amy Zwarico, An interpretation of typed OOP in a language, Lisp and Symbolic Computation, v.8 n.4, p.357-397, Dec. 1995 [doi>10.1007/BF01018829]
	GJS96	James Gosling , Bill Joy , Guy L. Steele, The Java Language Specification, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
	Jon93	Mark P. Jones, A system of constructor classes: overloading and implicit higher-order polymorphism, Proceedings of the conference on Functional programming languages and computer architecture, p.52-61, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165190]
	Läu95	K. L#iufer. A framework for higher-order functions in C++. In Proc. Conf. Object-Oriented Technologies (COOTS), Monterey, CA, June 1995. USENIX.
	LO94	Konstantin Läfer , Martin Odersky, Polymorphic type inference and abstract data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.5, p.1411-1430, Sept. 1994 [doi>10.1145/186025.186031]
	LM91	Xavier Leroy , Michel Mauny, Dynamics in ML, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.406-426, June 1991, Cambridge, Massachusetts, United States
	MP88	John C. Mitchell , Gordon D. Plotkin, Abstract types have existential type, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.3, p.470-502, July 1988 [doi>10.1145/44501.45065]
	Oho92	Atsushi Ohori, A compilation method for ML-style polymorphic record calculi, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.154-165, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143200]
	OP95	Martin Odersky and Michael Philippsen. EspressoGrinder distribution. http://tnmipd, ira. uka. de/#espresso.
	Pau91	Laurence C. Paulson, ML for the working programmer, Cambridge University Press, New York, NY, 1991
	SS76	Guy L Steele , Gerald J Sussman, Lambda: The Ultimate Imperative, Massachusetts Institute of Technology, Cambridge, MA, 1976
	Str91	Bjarne Stroustrup, The C++ programming language (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
	Sun96a	Sun Microsystems. Inner classes in Java. http://java, sun. com/products / JDK/i. I/ designspecs/innerclasses.
	Sun96b	Sun Microsystems. Java core reflection. http://java, sun. cow/products/JDK/1. I/ des i En spe c s/refl ect i on.
	WB89	P. Wadler , S. Blott, How to make ad-hoc polymorphism less ad hoc, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.60-76, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75283]
	Wir77	Niklaus Wirth, What can we do about the unnecessary diversity of notation for syntactic definitions?, Communications of the ACM, v.20 n.11, p.822-823, Nov. 1977 [doi>10.1145/359863.359883]

CITED BY 86

	Zhendong Su , Alexander Aiken , Joachim Niehren , Tim Priesnitz , Ralf Treinen, The first-order theory of subtyping constraints, ACM SIGPLAN Notices, v.37 n.1, p.203-216, Jan. 2002
	Martin Odersky , Christoph Zenger , Matthias Zenger, Colored local type inference, ACM SIGPLAN Notices, v.36 n.3, p.41-53, March 2001
	Christopher League , Zhong Shao , Valery Trifonov, Representing Java classes in a typed intermediate language, ACM SIGPLAN Notices, v.34 n.9, p.183-196, Sept. 1999
	Jan Vitek , Boris Bokowski, Confined types, ACM SIGPLAN Notices, v.34 n.10, p.82-96, Oct. 1999
	Suad Alagíc, Type-checking OQL queries in the ODMG type systems, ACM Transactions on Database Systems (TODS), v.24 n.3, p.319-360, Sept. 1999
	Tobias Nipkow , David von Oheimb, Java_light is type-safe—definitely, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.161-170, January 19-21, 1998, San Diego, California, United States
	Darko Stefanović , Kathryn S. McKinley , J. Eliot B. Moss, Age-based garbage collection, ACM SIGPLAN Notices, v.34 n.10, p.370-381, Oct. 1999
	Curtis Clifton , Gary T. Leavens , Craig Chambers , Todd Millstein, MultiJava: modular open classes and symmetric multiple dispatch for Java, ACM SIGPLAN Notices, v.35 n.10, p.130-145, Oct. 2000
	Nick Benton , Andrew Kennedy , George Russell, Compiling standard ML to Java bytecodes, ACM SIGPLAN Notices, v.34 n.1, p.129-140, Jan. 1999
	Cosmin E. Oancea , Stephen M. Watt, Parametric polymorphism for software component architectures, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Ole Agesen , Stephen N. Freund , John C. Mitchell, Adding type parameterization to the Java language, ACM SIGPLAN Notices, v.32 n.10, p.49-65, Oct. 1997
	John Boyland , Giuseppe Castagna, Parasitic methods: an implementation of multi-methods for Java, ACM SIGPLAN Notices, v.32 n.10, p.66-76, Oct. 1997
	Arthur G. Duncan, Reusable Ada libraries supporting infinite data structures, ACM SIGAda Ada Letters, v.XVIII n.6, p.89-103, Nov./Dec. 1998
	Matthias Zenger , Martin Odersky, Extensible algebraic datatypes with defaults, ACM SIGPLAN Notices, v.36 n.10, October 2001
	David G. Clarke , John M. Potter , James Noble, Ownership types for flexible alias protection, ACM SIGPLAN Notices, v.33 n.10, p.48-64, Oct. 1998
	Jose H. Solorzano , Suad Alagić, Parametric polymorphism for Java: a reflective solution, ACM SIGPLAN Notices, v.33 n.10, p.216-225, Oct. 1998
	Vassily Litvinov, Contraint-based polymorphism in Cecil: towards a practical and static type system, ACM SIGPLAN Notices, v.33 n.10, p.388-411, Oct. 1998
	Andrew Kennedy , Don Syme, Design and implementation of generics for the .NET Common language runtime, ACM SIGPLAN Notices, v.36 n.5, p.1-12, May 2001
	Mirko Viroli, Parametric polymorphism in Java: an efficient implementation for parametric methods, Proceedings of the 2001 ACM symposium on Applied computing, p.610-619, March 2001, Las Vegas, Nevada, United States
	L. Cardelli, Bad engineering properties of object-orient languages, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Robert Cartwright , Guy L. Steele, Jr., Compatible genericity with run-time types for the Java programming language, ACM SIGPLAN Notices, v.33 n.10, p.201-215, Oct. 1998
	Atsushi Igarashi , Benjamin C. Pierce , Philip Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.3, p.396-450, May 2001
	Mirko Viroli , Antonio Natali, Parametric polymorphism in Java: an approach to translation based on reflective features, ACM SIGPLAN Notices, v.35 n.10, p.146-165, Oct. 2000
	Cormac Flanagan , Stephen N. Freund, Type-based race detection for Java, ACM SIGPLAN Notices, v.35 n.5, p.219-232, May 2000
	Eric Allen , Jonathan Bannet , Robert Cartwright, A first-class approach to genericity, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM SIGPLAN Notices, v.37 n.9, p.110-122, September 2002
	Patrick Th. Eugster , Rachid Guerraoui , Christian Heide Damm, On objects and events, ACM SIGPLAN Notices, v.36 n.11, p.254-269, 11/01/2001
	Benjamin C. Pierce , David N. Turner, Local type inference, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.1, p.1-44, Jan. 2000
	Atshushi Igarashi , Benjamin Pierce , Philip Wadler, Featherwieght Java: a minimal core calculus for Java and GJ, ACM SIGPLAN Notices, v.34 n.10, p.132-146, Oct. 1999
	David Grove , Greg DeFouw , Jeffrey Dean , Craig Chambers, Call graph construction in object-oriented languages, ACM SIGPLAN Notices, v.32 n.10, p.108-124, Oct. 1997
	Wolfram Amme , Niall Dalton , Jeffery von Ronne , Michael Franz, SafeTSA: a type safe and referentially secure mobile-code representation based on static single assignment form, ACM SIGPLAN Notices, v.36 n.5, p.137-147, May 2001
	Davide Ancona , Giovanni Lagorio , Elena Zucca, Jam---designing a Java extension with mixins, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.641-712, September 2003
	Martin Abadi , Cormac Flanagan , Stephen N. Freund, Types for safe locking: Static race detection for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.2, p.207-255, March 2006
	Jeremy D. Frens, Taming the tiger: teaching the next version of Java, ACM SIGCSE Bulletin, v.36 n.1, March 2004
	Stephen Gilmore , Jane Hillston , Leïla Kloul , Marina Ribaudo, Software performance modelling using PEPA nets, ACM SIGSOFT Software Engineering Notes, v.29 n.1, January 2004
	Mads Torgersen , Christian Plesner Hansen , Erik Ernst , Peter von der Ahé , Gilad Bracha , Neal Gafter, Adding wildcards to the Java programming language, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Gilad Bracha , Martin Odersky , David Stoutamire , Philip Wadler, Making the future safe for the past: adding genericity to the Java programming language, ACM SIGPLAN Notices, v.33 n.10, p.183-200, Oct. 1998
	Brian McNamara , Yannis Smaragdakis, Functional programming in C++, ACM SIGPLAN Notices, v.35 n.9, p.118-129, Sept. 2000
	David Tarditi , Greg Morrisett , Perry Cheng , Chris Stone , Robert Harper , Peter Lee, TIL: a type-directed, optimizing compiler for ML, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Westley Weimer , George C. Necula, Finding and preventing run-time error handling mistakes, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Yuri Leontiev , M. Tamer Özsu , Duane Szafron, On type systems for object-oriented database programming languages, ACM Computing Surveys (CSUR), v.34 n.4, p.409-449, December 2002
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.836-889, September 2004
	Don Batory , Gang Chen , Eric Robertson , Tao Wang, Design Wizards and Visual Programming Environments for GenVoca Generators, IEEE Transactions on Software Engineering, v.26 n.5, p.441-452, May 2000
	Véronique Benzaken , Giuseppe Castagna , Alain Frisch, CDuce: an XML-centric general-purpose language, ACM SIGPLAN Notices, v.38 n.9, p.51-63, September 2003
	Dai Guilan , Tian Jinlan , Zhang Suqing , Jiang Weidu, An abstract intermediate representation in compilation systems, ACM SIGPLAN Notices, v.38 n.2, February 2003
	Brian Cabana , Suad Alagić , Jeff Faulkner, Parametric polymorphism for Java: is there any hope in sight?, ACM SIGPLAN Notices, v.39 n.12, December 2004
	Dachuan Yu , Andrew Kennedy , Don Syme, Formalization of generics for the .NET common language runtime, ACM SIGPLAN Notices, v.39 n.1, p.39-51, January 2004
	Saso Greiner , Damijan Rebernak , Janez Brest , Viljem Zumer, Z₀ - a tiny experimental language, ACM SIGPLAN Notices, v.40 n.8, August 2005
	Jean Privat , Roland Ducournau, Link-time static analysis for efficient separate compilation of object-oriented languages, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006
	Andrew Kennedy , Claudio V. Russo, Generalized algebraic data types and object-oriented programming, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Eric E. Allen , Robert Cartwright, Safe instantiation in generic Java, Proceedings of the 3rd international symposium on Principles and practice of programming in Java, June 16-18, 2004, Las Vegas, Nevada
	Eric E. Allen , Robert Cartwright, Safe instantiation in generic Java, Science of Computer Programming, v.59 n.1-2, p.26-37, January 2006
	Yuri Gurevich , Benjamin Rossman , Wolfram Schulte, Semantic essence of AsmL, Theoretical Computer Science, v.343 n.3, p.370-412, 17 October 2005
	Curtis Clifton , Todd Millstein , Gary T. Leavens , Craig Chambers, MultiJava: Design rationale, compiler implementation, and applications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.3, p.517-575, May 2006
	Yannis Smaragdakis , Don Batory, Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.2, p.215-255, April 2002
	Pieter H. Hartel , Luc Moreau, Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys (CSUR), v.33 n.4, p.517-558, December 2001
	Eric Van Wyk , Lijesh Krishnan , Derek Bodin , Eric Johnson, Adding domain-specific and general purpose language features to Java with the Java language extender, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Daniel C. Wang , Andrew W. Appel , Jeff L. Korn , Christopher S. Serra, The Zephyr abstract syntax description language, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.17-17, October 15-17, 1997, Santa Barbara, California
	James Sasitorn , Robert Cartwright, Efficient first-class generics on stock Java virtual machines, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Atsushi Igarashi , Mirko Viroli, Variant parametric types: A flexible subtyping scheme for generics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.28 n.5, p.795-847, September 2006
	Radha Jagadeesan , Alan Jeffrey , James Riely, Typed parametric polymorphism for aspects, Science of Computer Programming, v.63 n.3, p.267-296, 15 December 2006
	D. Ancona , C. Anderson , F. Damiani , S. Drossopoulou , P. Giannini , E. Zucca, A provenly correct translation of Fickle into Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.2, p.13-es, April 2007
	Don Syme , Gregory Neverov , James Margetson, Extensible pattern matching via a lightweight language extension, ACM SIGPLAN Notices, v.42 n.9, September 2007
	Matthias Blume , Umut A. Acar , Wonseok Chae, Extensible programming with first-class cases, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Adriaan Moors , Frank Piessens , Wouter Joosen, An object-oriented approach to datatype-generic programming, Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, September 16-16, 2006, Portland, Oregon, USA
	Brian Blount , Siddhartha Chatterjee, An evaluation of Java for numerical computing, Scientific Programming, v.7 n.2, p.97-110, April 1999
	Jianwen Zhu , Daniel D. Gajski, OpenJ: an extensible system level design language, Proceedings of the conference on Design, automation and test in Europe, p.99-es, January 1999, Munich, Germany
	Marco Bellia , M. Eugenia Occhiuto, Higher order Programming in Java: Introspection, Subsumption and Extraction, Fundamenta Informaticae, v.67 n.1-3, p.29-44, January 2005
	Satnam Singh, System Level Specification in Lava, Proceedings of the conference on Design, Automation and Test in Europe, p.10370, March 03-07, 2003
	Brian McNamara , Yannis Smaragdakis, Functional programming with the FC++ library, Journal of Functional Programming, v.14 n.4, p.429-472, July 2004
	Peter Van Roy , Per Brand , Denys Duchier , Seif Haridi , Christian Schulte , Martin Henz, Logic programming in the context of multiparadigm programming: the Oz experience, Theory and Practice of Logic Programming, v.3 n.6, p.717-763, November 2003
	Guy L. Steele, Jr., Growing a Language, Higher-Order and Symbolic Computation, v.12 n.3, p.221-236, October 1999
	Norman Ramsey, Pragmatic aspects of reusable program generators, Journal of Functional Programming, v.13 n.3, p.601-646, May 2003
	Tetsuo Kamina , Tetsuo Tamai, Lightweight dependent classes, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Eric Van Wyk, Implementing aspect-oriented programming constructs as modular language extensions, Science of Computer Programming, v.68 n.1, p.38-61, August, 2007
	Tetsuo Kamina , Tetsuo Tamai, Lightweight scalable components, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	Westley Weimer , George C. Necula, Exceptional situations and program reliability, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-51, March 2008
	Suad Alagić , Mark Royer, Genericity in Java: persistent and database systems implications, The VLDB Journal — The International Journal on Very Large Data Bases, v.17 n.4, p.847-878, July 2008
	Atanas Radenski , Jeff Furlong , Vladimir Zanev, The Java 5 generics compromise orthogonality to keep compatibility, Journal of Systems and Software, v.81 n.11, p.2069-2078, November, 2008
	August C. Schwerdfeger , Eric R. Van Wyk, Verifiable composition of deterministic grammars, ACM SIGPLAN Notices, v.44 n.6, June 2009
	Marco Bellia , M. Eugenia Occhiuto, Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, v.85 n.1-4, p.35-50, September 2008
	Sašo Greiner , Janez Brest , Viljem umer, Zero-a blend of static typing and dynamic metaprogramming, Computer Languages, Systems and Structures, v.35 n.3, p.241-251, October, 2009
	Chieri Saito , Atsushi Igarashi, Matching ThisType to subtyping, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	Ádám Sipos , Viktória Zsók, EClean - An Embedded Functional Language, Electronic Notes in Theoretical Computer Science (ENTCS), v.238 n.2, p.47-58, June, 2009
	Christian Grothoff, The Runabout, Software—Practice & Experience, v.38 n.14, p.1531-1560, November 2008
	Marco Bellia , M. Eugenia Occhiuto, JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters, Fundamenta Informaticae, v.93 n.1-3, p.45-64, January 2009