Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming

Martin Odersky; Enno Runne; Philip Wadler

doi:10.1007/3-540-39953-4_10

Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming

Martin Odersky, Enno Runne, Philip Wadler

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

Abstract / Description of output

We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.

Original language	English
Title of host publication	Generic Programming
Subtitle of host publication	International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers
Editors	Mehdi Jazayeri, RüdigerG.K. Loos, DavidR. Musser
Publisher	Springer
Pages	114-132
Number of pages	19
ISBN (Print)	978-3-540-41090-4
DOIs	https://doi.org/10.1007/3-540-39953-4_10
Publication status	Published - 2000

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	1766
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-39953-4_10

Cite this

Odersky, M., Runne, E., & Wadler, P. (2000). Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming. In M. Jazayeri, R. K. Loos, & D. Musser (Eds.), Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers (pp. 114-132). (Lecture Notes in Computer Science; Vol. 1766). Springer. https://doi.org/10.1007/3-540-39953-4_10

Odersky, Martin ; Runne, Enno ; Wadler, Philip. / Two Ways to Bake Your Pizza - Translating Parameterised Types into Java : Generic Programming. Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers. editor / Mehdi Jazayeri ; RüdigerG.K. Loos ; DavidR. Musser. Springer, 2000. pp. 114-132 (Lecture Notes in Computer Science).

@inproceedings{801ff9923fd341daacd2bf6242f9b572,

title = "Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming",

abstract = "We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.",

author = "Martin Odersky and Enno Runne and Philip Wadler",

year = "2000",

doi = "10.1007/3-540-39953-4_10",

language = "English",

isbn = "978-3-540-41090-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "114--132",

editor = "Mehdi Jazayeri and R{\"u}digerG.K. Loos and DavidR. Musser",

booktitle = "Generic Programming",

}

Odersky, M, Runne, E & Wadler, P 2000, Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming. in M Jazayeri, RK Loos & D Musser (eds), Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers. Lecture Notes in Computer Science, vol. 1766, Springer, pp. 114-132. https://doi.org/10.1007/3-540-39953-4_10

Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming. / Odersky, Martin; Runne, Enno; Wadler, Philip.
Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers. ed. / Mehdi Jazayeri; RüdigerG.K. Loos; DavidR. Musser. Springer, 2000. p. 114-132 (Lecture Notes in Computer Science; Vol. 1766).

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

TY - GEN

T1 - Two Ways to Bake Your Pizza - Translating Parameterised Types into Java

T2 - Generic Programming

AU - Odersky, Martin

AU - Runne, Enno

AU - Wadler, Philip

PY - 2000

Y1 - 2000

N2 - We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.

AB - We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.

U2 - 10.1007/3-540-39953-4_10

DO - 10.1007/3-540-39953-4_10

M3 - Conference contribution

SN - 978-3-540-41090-4

T3 - Lecture Notes in Computer Science

SP - 114

EP - 132

BT - Generic Programming

A2 - Jazayeri, Mehdi

A2 - Loos, RüdigerG.K.

A2 - Musser, DavidR.

PB - Springer

ER -

Odersky M, Runne E, Wadler P. Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming. In Jazayeri M, Loos RK, Musser D, editors, Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers. Springer. 2000. p. 114-132. (Lecture Notes in Computer Science). doi: 10.1007/3-540-39953-4_10

Two Ways to Bake Your Pizza - Translating Parameterised Types into Java: Generic Programming

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this