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

Authors:
Martin Odersky;Enno Runne;Philip Wadler
Affiliations:
-;-;-
Venue:
Selected Papers from the International Seminar on Generic Programming
Year:
1998

Citing 9
Cited 1

The C++ programming language

The C++ programming language
Compiling polymorphism using intensional type analysis

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type-based compiler for standard ML

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Parameterized types for Java

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pizza into Java: translating theory into practice

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adding type parameterization to the Java language

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java Virtual Machine Specification

Java Virtual Machine Specification
The Java Language Specification

The Java Language Specification
Efficient Data Representation in Polymorphic Languages

PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming

JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.01

Visualization

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 programb y 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.