dblp.uni-trier.dewww.uni-trier.de

Martin Odersky Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
60EETiark Rompf, Ingo Maier, Martin Odersky: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP 2009: 317-328
59EEPhilipp Haller, Martin Odersky: Scala Actors: Unifying thread-based and event-based programming. Theor. Comput. Sci. 410(2-3): 202-220 (2009)
2008
58 Michael Pradel, Martin Odersky: Scala Roles - A Lightweight Approach Towards Reusable Collaborations. ICSOFT (PL/DPS/KE) 2008: 13-20
57EEAdriaan Moors, Frank Piessens, Martin Odersky: Generics of a higher kind. OOPSLA 2008: 423-438
2007
56 Shriram Krishnamurthi, Martin Odersky: Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings Springer 2007
55EEBurak Emir, Qin Ma, Martin Odersky: Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS 2007: 54-70
54EEPhilipp Haller, Martin Odersky: Actors That Unify Threads and Events. COORDINATION 2007: 171-190
53EEBurak Emir, Martin Odersky, John Williams: Matching Objects with Patterns. ECOOP 2007: 273-298
2006
52EEPhilipp Haller, Martin Odersky: Event-Based Programming Without Inversion of Control. JMLC 2006: 4-22
51EEVincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky: A Core Calculus for Scala Type Checking. MFCS 2006: 1-23
50EEMartin Odersky: The Scala experiment: can we provide better language support for component systems? POPL 2006: 166-167
49EEBurak Emir, Sebastian Maneth, Martin Odersky: Scalable Programming Abstractions for XML Services. Research Results of the DICS Program 2006: 103-126
2005
48EEMartin Odersky, Matthias Zenger: Scalable component abstractions. OOPSLA 2005: 41-57
2004
47 Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers Springer 2004
46 Martin Odersky: ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings Springer 2004
45EEMartin Odersky: The Scala Experiment - Can We Provide Better Language Support for Component Systems? APLAS 2004: 364
44EEMartin Odersky, Benjamin C. Pierce: Guest editorial. ACM Trans. Program. Lang. Syst. 26(5): 767-768 (2004)
2003
43EEVincent Cremet, Martin Odersky: PiLib: A Hosted Language for Pi-Calculus Style Concurrency. Domain-Specific Program Generation 2003: 180-195
42EEMartin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger: A Nominal Theory of Objects with Dependent Types. ECOOP 2003: 201-224
41EEAndrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky: An Equational Theory for Transactions. FSTTCS 2003: 38-49
2001
40 Matthias Zenger, Martin Odersky: Extensible Algebraic Datatypes with Defaults. ICFP 2001: 241-252
39EEMartin Odersky, Christoph Zenger, Matthias Zenger: Colored local type inference. POPL 2001: 41-53
38EEMichel Schinz, Martin Odersky: Tail call elimination on the Java Virtual Machine. Electr. Notes Theor. Comput. Sci. 59(1): (2001)
2000
37 Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings Springer 2000
36EEMartin Odersky: An Introduction to Functional Nets. APPSEM 2000: 333-377
35EEMartin Odersky: Objects + Views = Components? Abstract State Machines 2000: 50-68
34EEMartin Odersky: Functional Nets. ESOP 2000: 1-25
33 Martin Odersky: Programming with Functional Nets. The School of Niklaus Wirth 2000: 173-202
1999
32 Martin Odersky, Martin Sulzmann, Martin Wehr: Type Inference with Constrained Types. TAPOS 5(1): 35-55 (1999)
31EEJohn Maraist, Martin Odersky, David N. Turner, Philip Wadler: Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theor. Comput. Sci. 228(1-2): 175-210 (1999)
1998
30EEKim B. Bruce, Martin Odersky, Philip Wadler: A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549
29EEMartin Odersky, Enno Runne, Philip Wadler: Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming 1998: 114-132
28EEMartin Odersky: Programming with Variable Functions. ICFP 1998: 105-116
27EEGilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler: Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. OOPSLA 1998: 183-200
26 John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. J. Funct. Program. 8(3): 275-317 (1998)
1997
25EEMartin Odersky, Philip Wadler: Pizza into Java: Translating Theory into Practice. POPL 1997: 146-159
24 Martin Odersky: Challenges in Type Systems Research. SIGPLAN Notices 32(1): 92-93 (1997)
23EEKim Marriott, Martin Odersky: A Confluent Calculus for Concurrent Constraint Programming. Theor. Comput. Sci. 173(1): 209-233 (1997)
1996
22EEMartin Odersky, Konstantin Läufer: Putting Type Annotations to Work. POPL 1996: 54-67
21 Martin Odersky: Challenges in Type Systems Research. ACM Comput. Surv. 28(4es): 169 (1996)
20EEKim Marriott, Martin Odersky: Negative Boolean Constraints. Theor. Comput. Sci. 160(1&2): 365-380 (1996)
1995
19 Kim Marriott, Martin Odersky: A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. CP 1995: 310-327
18 Martin Odersky, Philip Wadler, Martin Wehr: A Second Look at Overloading. FPCA 1995: 135-146
17EEMartin Odersky: Polarized Name Passing. FSTTCS 1995: 324-337
16 Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler: The Call-by-Need Lambda Calculus. POPL 1995: 233-246
15EEJohn Maraist, Martin Odersky, David N. Turner, Philip Wadler: Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Electr. Notes Theor. Comput. Sci. 1: (1995)
14 Richard Helm, Kim Marriott, Martin Odersky: Spatial Query Optimization: From Boolean Constraints to Range Queries. J. Comput. Syst. Sci. 51(2): 197-210 (1995)
13 Ian A. Mason, Martin Odersky: Special Issue on State in Programming Languages - Introduction. Lisp and Symbolic Computation 8(4): 291-292 (1995)
1994
12 Martin Odersky: A Functional Theory of Local Names. POPL 1994: 48-59
11 Kung Chen, Martin Odersky: A Type System for a Lambda Calculus with Assignments. TACS 1994: 347-364
10EEKonstantin Läufer, Martin Odersky: Polymorphic Type Inference and Abstract Data Types. ACM Trans. Program. Lang. Syst. 16(5): 1411-1430 (1994)
1993
9 Martin Odersky, Dan Rabin, Paul Hudak: Call by Name, Assignment, and the Lambda Calculus. POPL 1993: 43-56
8EEMartin Odersky: Defining Context-Dependent Syntax Without Using Contexts. ACM Trans. Program. Lang. Syst. 15(3): 535-562 (1993)
1992
7EEMartin Odersky: Observers for Linear Types. ESOP 1992: 390-407
6EEKung Chen, Paul Hudak, Martin Odersky: Parametric Type Classes. LISP and Functional Programming 1992: 170-181
1991
5 Konstantin Läufer, Martin Odersky: Type Classes are Signatures of Abstract Types. Declarative Programming 1991: 148-162
4EERichard Helm, Kim Marriott, Martin Odersky: Constraint-Based Query Optimization for Spatial Databases. PODS 1991: 181-191
3 Martin Odersky: How to Make Destructive Updates Less Destructive. POPL 1991: 25-36
1989
2 Martin Odersky: MINOS: A New Approach to the Design of an Input/Output Library for Modula-2. Structured Programming 10(2): 89-105 (1989)
1987
1 Martin Odersky: Einfache und effiziente inkrementelle Syntaxanalyse. Inform., Forsch. Entwickl. 2(2): 73-82 (1987)

Coauthor Index

1Zena M. Ariola [16]
2Don S. Batory [47]
3Andrew P. Black [41]
4Gilad Bracha [27]
5Kim B. Bruce [30]
6Kung Chen [6] [11]
7Charles Consel [47]
8Vincent Cremet [41] [42] [43] [51]
9Burak Emir [49] [53] [55]
10Matthias Felleisen [16]
11François Garillot [51]
12Rachid Guerraoui [41]
13Yuri Gurevich [37]
14Philipp Haller [52] [54] [59]
15Richard Helm [4] [14]
16Paul Hudak [6] [9]
17Shriram Krishnamurthi [56]
18Philipp W. Kutter [37]
19Konstantin Läufer [5] [10] [22]
20Christian Lengauer [47]
21Sergueï Lenglet [51]
22Qin Ma [55]
23Ingo Maier [60]
24Sebastian Maneth [49]
25John Maraist [15] [16] [26] [31]
26Kim Marriott [4] [14] [19] [20] [23]
27Ian A. Mason [13]
28Adriaan Moors [57]
29Benjamin C. Pierce [44]
30Frank Piessens [57]
31Michael Pradel [58]
32Dan Rabin [9]
33Christine Röckl [42]
34Tiark Rompf [60]
35Enno Runne [29]
36Michel Schinz [38]
37David Stoutamire [27]
38Martin Sulzmann [32]
39Lothar Thiele [37]
40David N. Turner [15] [31]
41Philip Wadler [15] [16] [18] [25] [26] [27] [29] [30] [31]
42Martin Wehr [18] [32]
43John Williams [53]
44Christoph Zenger [39]
45Matthias Zenger [39] [40] [42] [48]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)