On Scala and its Foundations:
-
Fighting Bit Rot with Types (Experience Report: Scala Collections),
Martin Odersky, Adriaan Moors
Proc. FSTTCS 2009
-
Event-Based Programming without Inversion of Control,
Philipp Haller, Martin Odersky
Proc. JMLC 2006
-
A Core Calculus for Scala Type Checking,
Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
Proc. MFCS 2006
-
The Scala Experiment -- Can We Provide Better Language Support for
Component Systems?,
Martin Odersky
Proc. POPL 2006
-
An Overview of the Scala Programming Language,
Martin Odersky et al.
Technical Report IC/2004/64, EPFL.
-
Scalable Component Abstractions,
Martin Odersky and Matthias Zenger.
Proc. OOPSLA 2005.
-
Independently Extensible Solutions to the Expression Problem,
Matthias Zenger and Martin Odersky.
Technical Report IC/2004/33, EPFL.
On Functional Nets:
-
Tail call elimination on the Java
Virtual Machine,
Michel Schinz and Martin Odersky.
Proc. SIGPLAN BABEL'01 Workshop on Multi-Language
Infrastructure and Interoperability.
-
Functional Nets,
Martin Odersky.
Proc. European Symposium on Programming, Berlin, Germany,
March 2000.
-
An
Overview of Functional Nets,
Martin Odersky.
Lecture notes, APPSEM Summer School,
Caminha, Portugal, September 2000
-
Objects + Views = Components?,
Martin Odersky.
Abstract State Machines 2000, Monte Verita, Switzerland, March 2000,
to appear in Springer Lecture Notes.
On GJ and Pizza:
-
Making the future safe for the past:
Adding Genericity to the Java Programming Language,
Gilad Bracha, Martin Odersky, David Stoutamire and
Philip Wadler.
Proc. OOPSLA'98
The abstract
and BibTeX entry
may be viewed separately.
-
Pizza into Java: Translating theory into practice,
Martin Odersky and
Philip Wadler.
Proc. 24th ACM Symposium on Principles of Programming
Languages, Paris, France, January 1997.
The abstract
and BibTeX entry
may be viewed separately. Also available in .dvi format.
-
Two Ways to Bake Your Pizza -
Translating Parameterised Types into Java,
Martin Odersky, Enno Runne, and
Philip Wadler.
Generic Programming · International Seminar on Generic Programming
Dagstuhl Castle, Springer
Lecture Notes in
Computer Science 1766. Copyright © Springer Verlag.
The abstract
and BibTeX entry
may be viewed separately.
On Type Systems:
-
A Nominal Theory of Objects with Dependent Types,
Martin Odersky, Vincent Cremet, Christine Röckl, Matthias
Zenger. Proc. ECOOP '03, July 2003.
A slightly longer versioni
appeared in Proc. Fool 10, January 2003.
-
Inferred Type Instantiation for GJ,
Martin Odersky.
Note sent to the types mailing list, January 2002.
-
Colored Local Type Inference,
Martin Odersky, Matthias Zenger, Christoph Zenger.
In Proceedings, ACM Symposium on Principles of Programming Languages,
January 2001.
-
Nested Types,
Martin Odersky and Christoph Zenger.
In Proceedings FOOL8,
Workshop on Foundations of Object-Oriented Languages,
January 2001.
-
Type Inference with Constrained
Types, Martin Odersky, Martin Sulzmann, Martin Wehr.
TAPOS 5(1). An extended abstract> appeared in
Proc. 4th
Int. Workshop on Foundations of Object-Oriented Languages.
The abstract and bibtex entry
may be viewed separately.
-
A Statically Safe Alternative to Virtual
Types, Kim
Bruce, Martin Odersky, and
Philip Wadler.
Proc. ECOOP'98. Last revised 11/25/97.
The abstract and bibtex entry
may be viewed separately.
Challenges in Type Systems Research,
Martin Odersky. In ACM Workshop on Strategic Directions in
Computing Research, June 1996, ACM Computing Surveys 28(4es). The abstract and bibtex
entry may be viewed separately.
-
Putting Type Annotations To Work,
Martin Odersky and Konstantin Läufer.
In Proceedings, 23rd ACM Symposium on Principles of
Programming Languages, St. Petersburg, Florida, January 1996.
The abstract and
bibtex entry
may be viewed separately.
-
A Second Look at Overloading,
Martin Odersky,
Philip Wadler, and Martin Wehr.
In Proceedings, ACM Conference on Functional Programming and Computer Architecture,
La Jolla, CA, June 1995.
The abstract and
bibtex entry
may be viewed separately.
-
Polymorphic Type Inference and Abstract Data Types,
Konstantin Läufer and Martin Odersky.
ACM Transactions on Programming Languages and Systems.
The abstract and bibtex entry
may be viewed separately.
-
An Extension of ML with First-Class Abstract Types,
Konstantin Läufer and Martin Odersky.
In Proceedings, ACM SIGPLAN Workshop on ML and its Applications,
San Francisco, California, June 1992"
The abstract and bibtex entry
may be viewed separately.
-
Parametric Type Classes,
Kung Chen,
Paul Hudak and
Martin Odersky.
In Proceedings, ACM Conference on Lisp
and Functional Programming, San Francisco, CA, June 1992.
The abstract and bibtex entry
may be viewed separately.
On Functional Programming Theory:
-
Call-by-Name, Call-by-Value,
Call-by-Need, and the Linear Lambda Calculus,
John Maraist, Martin Odersky,
David N. Turner and
Philip Wadler.
Proc. Conf. on Mathematical Foundations of Programming Semantics,
Electronic Notes in Computer Science 1(1), Elsevier Publishers, 1995.
The abstract
and BibTeX entry
may be viewed separately.
-
A Call-by-Need Lambda Calculus,
Zena Ariola,
Matthias Felleisen,
John Maraist,
Martin Odersky
and Philip Wadler.
Presented at POPL'95.
The abstract
and BibTeX entry
may be viewed separately.
-
A Functional Theory of Local Names,
Martin Odersky.
In Proceedings, 21st ACM Symposium on Principles of
Programming Languages, Portland, Oregon, January 1994.
The abstract and bibtex entry
may be viewed separately.
On Functional Programming and State:
-
Programming with Variable Functions,
Martin Odersky.
In Proceedings, International Conference on Functional Programming,
Baltimore, September 1998.
The abstract and bibtex entry
may be viewed separately.
-
A Type System for a Lambda Calculus with Assignment,
Kung Chen and
Martin Odersky.
In Proceedings, Symp. on Theoretical Aspects of Computer Software,
Sendai, Japan, April 1994. LNCS 789.
The abstract and bibtex entry
may be viewed separately.
-
Call-by-name, Assignment, and the Lambda-calculus,
Martin Odersky, Dan Rabin, and Paul Hudak.
In Proceedings, 20th ACM Symposium on Principles of
Programming Languages, Charleston, South Carolina, January 1993.
The abstract and bibtex entry
may be viewed separately.
-
Observers for Linear Types,
Martin Odersky.
In Proceedings, European Symposium on Programming, February 1992.
The abstract and bibtex entry
may be viewed separately.
-
How to Make Destructive Updates Less Destructive,
Martin Odersky.
In Proceedings, 18th ACM Symposium on Principles of
Programming Languages, Orlando, Florida, January 1991.
The abstract and bibtex entry
may be viewed separately.
On Concurrent Programming:
-
Polarized Name Passing,
Martin Odersky.
In Proceedings, FST & TCS, Bangalore, India, December 18-20,
1995.
The abstract
and BibTeX entry
may be viewed separately.
-
A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice,
Kim Marriott and
Martin Odersky.
Proc. 1st Conf. on Principles and Practice of Constraint Programming,
Cassis, France, September 1995.
The abstract and bibtex entry
may be viewed separately.
A full version of this paper appears in
Theoretical Computer Science.
-
Applying Pi: Towards a Basis for Concurrent Imperative Programming,
Martin Odersky.
Proc. 2nd ACM SIGPLAN Workshop on State in Programming Languages, Jan. 1995.
The abstract
and bibtex entry may be viewed separately.
On Constraint Solving and Applications:
Background Information in Technical Reports:
-
The Call-by-Need Lambda Calculus (Unabridged),
John Maraist,
Martin Odersky and
Philip Wadler.
Technical Report #28/94,
Fakultät für Informatik, Universität Karlsruhe.
The abstract
and BibTeX entry
may be viewed separately.
-
Call-by-Name, Call-by-Value,
Call-by-Need, and the Linear Lambda Calculus,
John Maraist,
Martin Odersky and
Philip Wadler.
Technical Report #5/95,
Fakultät für Informatik, Universität Karlsruhe.
The abstract
and BibTeX entry
may be viewed separately.
-
Negative Boolean Constraints,
Kim Marriott and
Martin Odersky.
Technical Report 94/203, Monash University, Department of Computer Science, August 1994.
The abstract and bibtex entry
may be viewed separately.
-
A Syntactic Theory of Local Names,
Martin Odersky.
Research Report YALEU/DCS/RR-965, Yale University, Department of Computer Science, May 1993.
The abstract and bibtex entry
may be viewed separately.
-
A Syntactic Method for Proving Observational
Equivalences,
Martin Odersky.
Research Report YALEU/DCS/RR-964, Yale University, Department of Computer Science, May 1993.
The abstract and bibtex entry
may be viewed separately.
-
The Unexpurgated Call-by-name, Assignment, and the Lambda-calculus,
Martin Odersky and Dan Rabin.
Research Report YALEU/DCS/RR-930, Yale University, Department of Computer Science, May 1993.
The abstract and bibtex entry
may be viewed separately.
-
Type Inference for Parametric Type Classes,
Kung Chen,
Martin Odersky and
Paul Hudak.
Research Report YALEU/DCS/RR-900, Yale University, Department of Computer Science, May 1993.
The abstract and bibtex entry
may be viewed separately.
-
Objects and Subtyping in a Functional Perspective,
Martin Odersky.
IBM Research Report RC 16423, March 1991.
The abstract and bibtex entry
may be viewed separately.
Back to top of this page,
my home page