DMCA
Pizza into Java: Translating theory into practice (1997)
Cached
Download Links
- [www.dcs.gla.ac.uk]
- [lampwww.epfl.ch]
- [www.cis.unisa.edu.au]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proc. 24th ACM Symposium on Principles of Programming Languages |
| Citations: | 336 - 15 self |
BibTeX
@INPROCEEDINGS{Odersky97pizzainto,
author = {Martin Odersky and Philip Wadler},
title = {Pizza into Java: Translating theory into practice},
booktitle = {In Proc. 24th ACM Symposium on Principles of Programming Languages},
year = {1997},
pages = {146--159},
publisher = {ACM Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza attempts to make these ideas accessible by translating them into Java. We mean that both figuratively and literally, because Pizza is defined by translation into Java. It turns out that these features integrate well: Pizza fits smoothly to Java, with only a few rough edges. There is nothing new beneath the sun. --- Ecclesiastes 1:10. 1 Introduction Java embodies several great ideas, including: ffl strong static typing, ffl heap allocation with garbage collection, and ffl safe execution that never corrupts the store. These eliminate some sources of programming errors and enhance the portability of software across a network. These great ideas are nothing new, as the designers of Java will be the first to tell you. Algol had strong typing, Lisp had heap allocation with garbage collection, both had safe execut...
