Proceedings Article10.1145/263699.263715
Pizza into Java: translating theory into practice
Martin Odersky,Philip Wadler +1 more
- 01 Jan 1997
- pp 146-159
TL;DR: Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types.
read more
Abstract: 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 is defined by translation into Java and compiles into the Java Virtual Machine, requirements which strongly constrain the design space. Nonetheless, Pizza fits smoothly to Java, with only a few rough edges.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Types and Programming Languages
Benjamin C. Pierce
- 01 Jan 2002
TL;DR: This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.
2.7K
Featherweight Java: a minimal core calculus for Java and GJ
TL;DR: This work extends Featherweight Java with generic classes in the style of GJ and gives a detailed proof of type safety, which formalizes for the first time some of the key features ofGJ.
Ownership types for flexible alias protection
David G. Clarke,John Potter,James Noble +2 more
- 01 Oct 1998
TL;DR: Ownership types form a static type system that indicates object ownership, which provides a flexible mechanism to limit the visibility of object references and restrict access paths to objects, thus controlling a system's dynamic topology.
Featherweight Java: a minimal core calculus for Java and GJ
Atsushi Igarashi,Benjamin C. Pierce,Philip Wadler +2 more
- 01 Oct 1999
TL;DR: A proof of type safety for Featherweight Java illustrates many of the interesting features of a safety proof for the full language, while remaining pleasingly compact.
•Journal Article
Feature-oriented programming : A fresh look at objects
TL;DR: In this paper, the authors propose a feature model as an extension of Java and give two translations to Java, one via inheritance and the other via aggregation, which generalizes inheritance and aggregation.
440
References
•Book
The C++ Programming Language
Bjarne Stroustrup
- 01 Jan 1985
TL;DR: Bjarne Stroustrup makes C even more accessible to those new to the language, while adding advanced information and techniques that even expert C programmers will find invaluable.
8.1K
•Book
The Java Language Specification
James Gosling,Bill Joy,Guy L. Steele +2 more
- 12 Sep 1996
TL;DR: The Java Language Specification, Second Edition is the definitive technical reference for the Java programming language and provides complete, accurate, and detailed coverage of the syntax and semantics of the Java language.
On understanding types, data abstraction, and polymorphism
Luca Cardelli,Peter Wegner +1 more
TL;DR: A λ-calculus-based model for type systems that allows us to explore the interaction among the concepts of type, data abstraction, and polymorphism in a simple setting, unencumbered by complexities of production programming languages is developed.
Principal type-schemes for functional programs
Luis Damas,Robin Milner +1 more
- 25 Jan 1982
TL;DR: Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage.
•Book
ML for the working programmer
Lawrence C. Paulson
- 01 Jan 1991
TL;DR: In teaching the methods of functional programming, how to program in Standard ML, a functional language recently developed at Edinburgh University, the author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures.
637
Related Papers (5)
Joseph A. Bank,Andrew C. Myers,Barbara Liskov +2 more
- 01 Jan 1997
James Gosling,Bill Joy,Guy L. Steele +2 more
- 12 Sep 1996
Andrew Kennedy,Don Syme +1 more
- 01 May 2001