×

zbMATH — the first resource for mathematics

Odersky, Martin

Compute Distance To:
Author ID: odersky.martin Recent zbMATH articles by "Odersky, Martin"
Published as: Odersky, Martin; Odersky, M.
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 26 Publications since 1987, including 2 Books

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 77 times in 74 Documents Cited by Year
Scala actors: Unifying thread-based and event-based programming. Zbl 1162.68396
Haller, Philipp; Odersky, Martin
17
2009
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
14
1998
Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Zbl 0952.03009
Maraist, J.; Odersky, M.; Turner, D. N.; Wadler, P.
12
1999
Call-by-name, call-by value, call-by-need and the linear lambda calculus. Zbl 0908.03017
Maraist, John; Odersky, Martin; Turner, David N.; Wadler, Philip
8
1995
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. Zbl 1302.68187
Rompf, Tiark; Maier, Ingo; Odersky, Martin
5
2009
A core calculus for scala type checking. Zbl 1132.68320
Cremet, Vincent; Garillot, François; Lenglet, Sergueï; Odersky, Martin
3
2006
Polarized name passing. Zbl 1354.68201
Odersky, Martin
3
1995
Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19–24, 2000. Proceedings. Zbl 0947.00040
Gurevich, Yuri (ed.); Kutter, Philipp W. (ed.); Odersky, Martin (ed.); Thiele, Lothar (ed.)
2
2000
Functional nets. Zbl 0971.68604
Odersky, Martin
2
2000
Negative Boolean constraints. Zbl 0872.68017
Marriott, Kim; Odersky, Martin
2
1996
Colored local type inference. Zbl 1323.68144
Odersky, Martin; Zenger, Christoph; Zenger, Matthias
2
2001
A confluent calculus for concurrent constraint programming. Zbl 0902.68034
Marriott, Kim; Odersky, Martin
1
1997
Spatial query optimization: From Boolean constraints to range queries. Zbl 0831.68039
Helm, Richard; Marriott, Kim; Odersky, Martin
1
1995
Fighting bit rot with types (Experience report: Scala collections). Zbl 1248.68158
Odersky, Martin; Moors, Adriaan
1
2009
An equational theory for transactions. Zbl 1205.68120
Black, Andrew P.; Cremet, Vincent; Guerraoui, Rachid; Odersky, Martin
1
2003
Optimizing data structures in high-level programs, new directions for extensible compilers based on staging. Zbl 1301.68091
Rompf, Tiark; Sujeeth, Arvind K.; Amin, Nada; Brown, Kevin J.; Jovanovic, Vojin; Lee, HyoukJoong; Jonnalagedda, Manohar; Olukotun, Kunle; Odersky, Martin
1
2013
Programming with variable functions. Zbl 1369.68113
Odersky, Martin
1
1997
Extensible algebraic datatypes with defaults. Zbl 1323.68388
Zenger, Matthias; Odersky, Martin
1
2001
Optimizing data structures in high-level programs, new directions for extensible compilers based on staging. Zbl 1301.68091
Rompf, Tiark; Sujeeth, Arvind K.; Amin, Nada; Brown, Kevin J.; Jovanovic, Vojin; Lee, HyoukJoong; Jonnalagedda, Manohar; Olukotun, Kunle; Odersky, Martin
1
2013
Scala actors: Unifying thread-based and event-based programming. Zbl 1162.68396
Haller, Philipp; Odersky, Martin
17
2009
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. Zbl 1302.68187
Rompf, Tiark; Maier, Ingo; Odersky, Martin
5
2009
Fighting bit rot with types (Experience report: Scala collections). Zbl 1248.68158
Odersky, Martin; Moors, Adriaan
1
2009
A core calculus for scala type checking. Zbl 1132.68320
Cremet, Vincent; Garillot, François; Lenglet, Sergueï; Odersky, Martin
3
2006
An equational theory for transactions. Zbl 1205.68120
Black, Andrew P.; Cremet, Vincent; Guerraoui, Rachid; Odersky, Martin
1
2003
Colored local type inference. Zbl 1323.68144
Odersky, Martin; Zenger, Christoph; Zenger, Matthias
2
2001
Extensible algebraic datatypes with defaults. Zbl 1323.68388
Zenger, Matthias; Odersky, Martin
1
2001
Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19–24, 2000. Proceedings. Zbl 0947.00040
Gurevich, Yuri; Kutter, Philipp W.; Odersky, Martin; Thiele, Lothar
2
2000
Functional nets. Zbl 0971.68604
Odersky, Martin
2
2000
Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Zbl 0952.03009
Maraist, J.; Odersky, M.; Turner, D. N.; Wadler, P.
12
1999
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
14
1998
A confluent calculus for concurrent constraint programming. Zbl 0902.68034
Marriott, Kim; Odersky, Martin
1
1997
Programming with variable functions. Zbl 1369.68113
Odersky, Martin
1
1997
Negative Boolean constraints. Zbl 0872.68017
Marriott, Kim; Odersky, Martin
2
1996
Call-by-name, call-by value, call-by-need and the linear lambda calculus. Zbl 0908.03017
Maraist, John; Odersky, Martin; Turner, David N.; Wadler, Philip
8
1995
Polarized name passing. Zbl 1354.68201
Odersky, Martin
3
1995
Spatial query optimization: From Boolean constraints to range queries. Zbl 0831.68039
Helm, Richard; Marriott, Kim; Odersky, Martin
1
1995
all top 5

Cited by 143 Authors

3 Accattoli, Beniamino
3 Albert, Elvira
3 Haller, Philipp
3 Martin-Martin, Enrique
3 Odersky, Martin
2 Amin, Nada
2 Ariola, Zena M.
2 Biernacki, Dariusz
2 Danvy, Olivier
2 Flores-Montoya, Antonio
2 Genaim, Samir
2 Guerrieri, Giulio
2 Johnsen, Einar Broch
2 Kiselyov, Oleg
2 Miller, Heather
2 Nakata, Keiko
2 Polesiuk, Piotr
2 Rémy, Didier
2 Rompf, Tiark
2 Sangiorgi, Davide
2 Saurin, Alexis
2 Schlatte, Rudolf
2 Schmidt-Schauß, Manfred
2 Tapia Tarifa, Silvia Lizeth
2 Zerny, Ian
1 AbdelGawad, Moez A.
1 Alves, Sandra
1 Amadio, Roberto M.
1 Bliudze, Simon
1 Bloo, Roel
1 Chothia, Tom
1 Chroboczek, Juliusz
1 Correas, Jesús
1 Crafa, Silvia
1 Dal Lago, Ugo
1 Dal Zilio, Silvano
1 de Boer, Frank S.
1 De Meuter, Wolfgang
1 de’Liguoro, Ugo
1 Díaz-Caro, Alejandro
1 Edelmann, Romain
1 Ehrhard, Thomas
1 Fischer, Sebastian
1 Florido, Mário
1 Fournet, Cédric
1 Garrigue, Jacques
1 Ghica, Dan R.
1 Gordon, Andrew D.
1 Grütter, Samuel
1 Guerrini, Stefano
1 Hansen, René Rydhof
1 Hasegawa, Masahito
1 Henzinger, Thomas A.
1 Herbelin, Hugo
1 Hickey, Jason J.
1 Huggins, James K.
1 Hüttel, Hans
1 Jaghoori, Mohammad Mahdi
1 Kamareddine, Fairouz D.
1 Kammar, Ohad
1 Kerneis, Gabriel
1 Kesner, Delia
1 Klop, Jan Willem
1 Koopman, Pieter
1 Kuncak, Viktor
1 Kurnia, Ilham W.
1 Laneve, Cosimo
1 Le Botlan, Didier
1 Lenglet, Sergueï
1 Lester, David R
1 Longuet, Delphine
1 López-Fraguas, Francisco Javier
1 Mann, Matthias
1 Manzonetto, Giulio
1 Maranget, Luc
1 Marriott, Kim
1 Martini, Simone
1 Masini, Andrea
1 Millikin, Kevin
1 Mintchev, Sava
1 Møgelberg, Rasmus Ejlers
1 Moggi, Eugenio
1 Müller, Normen
1 Munk, Johan
1 Muroya, Koko
1 Nederpelt, Rob
1 Nestmann, Uwe
1 Nguyen, Huu Hai
1 Niehren, Joachim
1 Olarte, Carlos
1 Owe, Olaf
1 Pagani, Michele
1 Palacios, Adrian G.
1 Pédrot, Pierre-Marie
1 Petit, Barbara
1 Piancastelli, Giulio
1 Pierce, Benjamin C.
1 Poetzsch-Heffter, Arnd
1 Pretnar, Matija
1 Puebla, Germán
...and 43 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.