[Prev][Next][Index][Thread]
Pizza, an extension of Java
We'd like to announce the availability of a paper on `Pizza', an
extension of Java with parametric polymorphism, first class functions,
and algebraic data types. The paper will appear in the proceedings of
the 24th ACM Symposium on Principles of Programming Languages (POPL),
in January 1997.
The language described in the paper has been implemented as a Java
bytecode program; this implementation is also available.
You can get the paper from
wwwipd.ira.uka.de/~odersky/papers.html/#Pizza
or
http://www.dcs.gla.ac.uk/~wadler/topics/pizza.html
The implementation is available from
wwwipd.ira.uka.de/~pizza (Europe)
or
www.math.luc.edu/pizza (US Mirror)
Martin Odersky, University of Karlsruhe
Philip Wadler, Lucent Technologies
------------------------------------------------------------------
A copy of the abstract follows
Pizza into Java: Translating theory into practice
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.