Pizza -- A substantial companion to Java

We'd like to announce availability of the first implementation of
Pizza. Pizza is a strict superset of Java that incorporates three
additional concepts:


  - parametric polymorphism,
  - higher-order functions, and
  - algebraic types.


Pizza is implemented on top of the Java development kit (other
Java-compatible virtual machines will also work). The Pizza compiler
is a straight replacement for Sun's Java compiler, javac. When
compiling .java files the Pizza compiler works just like javac, except
that it is 2-3 times faster.




An implementation of Pizza with a kernel library and some example
programs is available from:


http://wwwipd.ira.uka.de/~pizza (Europe)


http://www.math.luc.edu/pizza
ftp://ftp.eecs.tulane.edu/pub/maraist/pizza/welcome.html
(US Mirrors)


A paper that describes Pizza is available separately, from:


http://wwwipd.ira.uka.de/~odersky/papers.html/#Pizza
http://www.dcs.gla.ac.uk/~wadler/topics/pizza.html


The paper will appear in the proceedings of the 24th ACM Symposium on
Principles of Programming Languages (POPL), in January 1997.




There are also two new mailing lists on Pizza. To subscribe to a
mailing list carrying future Pizza announcements, send mail containing
the single line


subscribe pizza-announce


to pizza-announce-request@cis.unisa.edu.au.


To subscribe to a mailing list for discussions among Pizza users, send
send mail containing the single line


subscribe pizza-users


to pizza-users-request@cis.unisa.edu.au.


In case of problems with any of the above send mail to pizza.ura.uka.de.


========================================================================
Martin Odersky, University of Karlsruhe, odersky@ira.uka.de
Philip Wadler, Lucent Technologies, wadler@research.bell-labs.com






--

Return to the comp.compilers page.
Search the comp.compilers archives again.