H ? « ‹ ← → › »

Language peer sets for PIZZA:
United Kingdom↑
United Kingdom/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

PIZZA(ID:2376/piz001)

alternate simple view
Country: United Kingdom
Designed 1997

is a strict superset of JAVA that incorporates three ideas from functional programming: 1)Parametric polymorphism, 2) Higher-order functions, 3)Algebraic data types. PIZZA is defined by translation into JAVA and compiles into the JVM, requirements which strongly constrains the design space. Thus PIZZA programs interface easily with JAVA libraries, and programs developed in PIZZA may be automatically converted to JAVA for ease of maintenance. The compiler is itself written in PIZZA, and may be used as a replacement for Sun's JAVA compiler. (Except that the Pizza compiler runs faster)  Designed by Martin Odersky and Phillip Wadler, and implemented by Odersky.

Structures:
Related languages
Java → PIZZA   Evolution of
PIZZA → Kiev   Written using
References:
  • Odersky, M. and Wadler, P.L., (1997) Odersky, M. and Wadler, P.L., "Pizza into Java: Translating Theory into Practice" pp146-159 Citeseer
          in [POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder