Filter Results:
- Full text PDF available (150)
Publication Year
1987
2017
- This year (2)
- Last five years (60)
Publication Type
Co-author
Publication Venue
Key Phrases
Learn More
- Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler
- OOPSLA
- 1998
We present GJ, a design that extends the Java programming language with generic types and methods. These are both explained and implemented by translation into the unextended language. The translation closely mimics the way generics are emulated by programmers: it erases all type parameters, maps type variables to their bounds, and inserts casts where… (More)
- Martin Odersky
- 2007
- Philipp Haller, Martin Odersky
- Theor. Comput. Sci.
- 2009
- Martin Odersky
- 2004
- Martin Odersky, Matthias Zenger
- OOPSLA
- 2005
We identify three programming language abstractions for the construction of reusable components: abstract type members, explicit selftypes, and modular mixin composition. Together, these abstractions enable us to transform an arbitrary assembly of static program parts with hard references between them into a system of reusable components. The transformation… (More)
- Martin Odersky, Philip Wadler
- POPL
- 1997
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… (More)
- Tiark Rompf, Martin Odersky
- GPCE
- 2010
Good software engineering practice demands generalization and abstraction, whereas high performance demands specialization and concretization. These goals are at odds, and compilers can only rarely translate expressive high-level programs to modern hardware platforms in a way that makes best use of the available resources.
Generative programming is a… (More)
- Martin Odersky, Philippe Altherr, +7 authors Matthias Zenger
- 2004
Scala fuses object-oriented and functional programming in a statically typed programming language. It is aimed at the construction of components and component systems. This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design.
- Kim B. Bruce, Martin Odersky, Philip Wadler
- ECOOP
- 1998
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We suggest a variant of virtual types which has similar expressiveness, but supports safe static type checking. This results in a language in which both parametric types and virtual… (More)
- Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
- ECOOP
- 2003
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type members can be aliases, abstract types, or new types. The type system can model the essential concepts of Java's inner classes as well as virtual types and family polymorphism found in BETA or gbeta. It can also model most concepts of… (More)