Martin Odersky - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

2009

Scala Actors: Unifying thread-based and event-based programmingPhilipp Haller, Martin Odersky. TCS, 410(2-3):202-220, 2009. [doi]

Fighting bit Rot with Types (Experience Report: Scala Collections)Martin Odersky, Adriaan Moors. fsttcs 2009: 427-451 [doi]

Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transformTiark Rompf, Ingo Maier, Martin Odersky. ICFP 2009: 317-328 [doi]

2008

Generics of a higher kindAdriaan Moors, Frank Piessens, Martin Odersky. OOPSLA 2008: 423-438 [doi]

Parser combinators in ScalaA. Moors, F. Piessens, Martin Odersky. Technical Report 2008.

Programming in Scala. A comprehensive step-by-step guideMartin Odersky, Lex Spoon, Bill Venners. Artima, November 2008.

Scala Roles - A Lightweight Approach Towards Reusable CollaborationsMichael Pradel, Martin Odersky. ICSOFT 2008: 13-20

2007

2006

2005

Independently extensible solutions to the expression problemMartin Odersky, M. Zenger. In Proceedings of the Twelth InternationalWorkshop on Foundations of Object-Oriented Languages (FOOL 12). 2005:

Scalable component abstractionsMartin Odersky, Matthias Zenger. OOPSLA 2005: 41-57 [doi]

2004

The Scala Experiment - Can We Provide Better Language Support for Component Systems?Martin Odersky. aplas 2004: 364 [doi]

ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, ProceedingsMartin Odersky, editor, Volume 3086 of Lecture Notes in Computer Science, Springer, 2004.

Guest editorialMartin Odersky, Benjamin C. Pierce. TOPLAS, 26(5):767-768, 2004. [doi]

2003

An Equational Theory for TransactionsAndrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky. fsttcs 2003: 38-49 [doi]

PiLib: A Hosted Language for Pi-Calculus Style ConcurrencyVincent Cremet, Martin Odersky. dagstuhl 2004: 180-195 [doi]

A Nominal Theory of Objects with Dependent TypesMartin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger. ECOOP 2003: 201-224 [doi]

2001

2000

Functional NetsMartin Odersky. ESOP 2000: 1-25 [doi]

An Introduction to Functional NetsMartin Odersky. ac 2002: 333-377 [doi]

Programming with Functional NetsMartin Odersky. BIRTHDAY 2000: 173-202

Objects + Views = Components?Martin Odersky. asmta 2000: 50-68 [doi]

1999

Call-by-name, Call-by-value, Call-by-need and the Linear lambda CalculusJohn Maraist, Martin Odersky, David N. Turner, Philip Wadler. TCS, 228(1-2):175-210, 1999. [doi]

Type Inference with Constrained TypesMartin Odersky, Martin Sulzmann, Martin Wehr. tapos, 5(1):35-55, 1999.

1998

1997

A Confluent Calculus for Concurrent Constraint ProgrammingKim Marriott, Martin Odersky. TCS, 173(1):209-233, 1997. [doi]

Pizza into Java: Translating Theory into PracticeMartin Odersky, Philip Wadler. POPL 1997: 146-159 [doi]

Challenges in Type Systems ResearchMartin Odersky. SIGPLAN, 32(1):92-93, 1997.

1996

Negative Boolean ConstraintsKim Marriott, Martin Odersky. TCS, 160(1&2):365-380, 1996. [doi]

Challenges in Type Systems ResearchMartin Odersky. ACM Comput. Surv., 28(4es):169, 1996.

Putting Type Annotations to WorkMartin Odersky, Konstantin Läufer. POPL 1996: 54-67 [doi]

1995

1994

A Type System for a Lambda Calculus with AssignmentsKung Chen, Martin Odersky. tacs 1994: 347-364

Polymorphic Type Inference and Abstract Data TypesKonstantin Läufer, Martin Odersky. TOPLAS, 16(5):1411-1430, 1994. [doi]

A Functional Theory of Local NamesMartin Odersky. POPL 1994: 48-59

1993

Call by Name, Assignment, and the Lambda CalculusMartin Odersky, Dan Rabin, Paul Hudak. POPL 1993: 43-56

Defining Context-Dependent Syntax Without Using ContextsMartin Odersky. TOPLAS, 15(3):535-562, 1993. [doi]

1992

Parametric Type ClassesKung Chen, Paul Hudak, Martin Odersky. lfp 1992: 170-181 [doi]

Observers for Linear TypesMartin Odersky. ESOP 1992: 390-407

1991

Constraint-Based Query Optimization for Spatial DatabasesRichard Helm, Kim Marriott, Martin Odersky. pods 1991: 181-191 [doi]

Type Classes are Signatures of Abstract TypesKonstantin Läufer, Martin Odersky. phoenix 1992: 148-162

How to Make Destructive Updates Less DestructiveMartin Odersky. POPL 1991: 25-36

1989

MINOS: A New Approach to the Design of an Input/Output Library for Modula-2Martin Odersky. stp, 10(2):89-105, 1989.

1987

Einfache und effiziente inkrementelle SyntaxanalyseMartin Odersky. ife, 2(2):73-82, 1987.