Pizza into Java: Translating theory into practice

Martin Odersky; Philip Wadler

doi:10.1145/263699.263715

Pizza into Java: Translating theory into practice

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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.

Original language	English
Title of host publication	In Proc. 24th ACM Symposium on Principles of Programming Languages
Publisher	ACM Press
Pages	146-159
Number of pages	14
ISBN (Print)	0-89791-853-3
DOIs	https://doi.org/10.1145/263699.263715
Publication status	Published - 1997

Access to Document

10.1145/263699.263715

Cite this

@inproceedings{526eb9005b7343dea6f701de34b305fe,

title = "Pizza into Java: Translating theory into practice",

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.",

author = "Martin Odersky and Philip Wadler",

year = "1997",

doi = "10.1145/263699.263715",

language = "English",

isbn = "0-89791-853-3",

pages = "146--159",

booktitle = "In Proc. 24th ACM Symposium on Principles of Programming Languages",

publisher = "ACM Press",

}

TY - GEN

T1 - Pizza into Java: Translating theory into practice

AU - Odersky, Martin

AU - Wadler, Philip

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

U2 - 10.1145/263699.263715

DO - 10.1145/263699.263715

M3 - Conference contribution

SN - 0-89791-853-3

SP - 146

EP - 159

BT - In Proc. 24th ACM Symposium on Principles of Programming Languages

PB - ACM Press

ER -

Pizza into Java: Translating theory into practice

Abstract / Description of output

Access to Document

Fingerprint

Cite this