×
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 · IdRef

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 92 times in 86 Documents Cited by Year
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.
20
1999
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
19
1998
Scala actors: Unifying thread-based and event-based programming. Zbl 1162.68396
Haller, Philipp; Odersky, Martin
17
2009
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
Negative Boolean constraints. Zbl 0872.68017
Marriott, Kim; Odersky, Martin
3
1996
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
Colored local type inference. Zbl 1323.68144
Odersky, Martin; Zenger, Christoph; Zenger, Matthias
2
2001
Functional nets. Zbl 0971.68604
Odersky, Martin
2
2000
Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19–24, 2000. Proceedings. Zbl 0947.00040
2
2000
Spatial query optimization: From Boolean constraints to range queries. Zbl 0831.68039
Helm, Richard; Marriott, Kim; Odersky, Martin
2
1995
An equational theory for transactions. Zbl 1205.68120
Black, Andrew P.; Cremet, Vincent; Guerraoui, Rachid; Odersky, Martin
1
2003
Fighting bit rot with types (Experience report: Scala collections). Zbl 1248.68158
Odersky, Martin; Moors, Adriaan
1
2009
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
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
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
Functional nets. Zbl 0971.68604
Odersky, Martin
2
2000
Abstract state machines. Theory and applications. International workshop, ASM 2000, Monte Verità, Switzerland, March 19–24, 2000. Proceedings. Zbl 0947.00040
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.
20
1999
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
19
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
3
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
2
1995
all top 5

Cited by 165 Authors

4 Accattoli, Beniamino
4 Guerrieri, Giulio
3 Albert, Elvira
3 Haller, Philipp
3 Kesner, Delia
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 Johnsen, Einar Broch
2 Kiselyov, Oleg
2 Manzonetto, Giulio
2 Miller, Heather
2 Nakata, Keiko
2 Pinto, Luís F.
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 Uustalu, Tarmo
2 Zerny, Ian
2 Zucca, Elena
1 AbdelGawad, Moez A.
1 Alves, Sandra
1 Amadio, Roberto M.
1 Ancona, Davide
1 Banković, Dragić
1 Biernacka, Małgorzata
1 Bliudze, Simon
1 Bloo, Roel
1 Bucciarelli, Antonio
1 Castagna, Giuseppe
1 Charatonik, Witold
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 Espírito Santo, José
1 Espírito, Santo José
1 Faggian, Claudia
1 Fischer, Sebastian
1 Florido, Mário
1 Fournet, Cédric
1 Fukuda, Yosuke
1 Garrigue, Jacques
1 Ghica, Dan R.
1 Giannini, Paola
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 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 Maranget, Luc
1 Marovac, Ulfeta A.
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
...and 65 more Authors

Citations by Year

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