×
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

19 Publications have been cited 113 times in 99 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.
23
1999
Scala actors: Unifying thread-based and event-based programming. Zbl 1162.68396
Haller, Philipp; Odersky, Martin
22
2009
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
22
1998
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
8
2009
Negative Boolean constraints. Zbl 0872.68017
Marriott, Kim; Odersky, Martin
4
1996
A core calculus for scala type checking. Zbl 1132.68320
Cremet, Vincent; Garillot, François; Lenglet, Sergueï; Odersky, Martin
3
2006
Spatial query optimization: From Boolean constraints to range queries. Zbl 0831.68039
Helm, Richard; Marriott, Kim; Odersky, Martin
3
1995
A confluent calculus for concurrent constraint programming. Zbl 0902.68034
Marriott, Kim; Odersky, Martin
3
1997
Polarized name passing. Zbl 1354.68201
Odersky, Martin
3
1995
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
The essence of dependent object types. Zbl 1343.68046
Amin, Nada; Grütter, Samuel; Odersky, Martin; Rompf, Tiark; Stucki, Sandro
2
2016
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
2
2001
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
Translation correctness for first-order object-oriented pattern matching. Zbl 1137.68353
Emir, Burak; Ma, Qin; Odersky, Martin
1
2007
Programming with variable functions. Zbl 1369.68113
Odersky, Martin
1
1997
The essence of dependent object types. Zbl 1343.68046
Amin, Nada; Grütter, Samuel; Odersky, Martin; Rompf, Tiark; Stucki, Sandro
2
2016
Scala actors: Unifying thread-based and event-based programming. Zbl 1162.68396
Haller, Philipp; Odersky, Martin
22
2009
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. Zbl 1302.68187
Rompf, Tiark; Maier, Ingo; Odersky, Martin
8
2009
Fighting bit rot with types (Experience report: Scala collections). Zbl 1248.68158
Odersky, Martin; Moors, Adriaan
1
2009
Translation correctness for first-order object-oriented pattern matching. Zbl 1137.68353
Emir, Burak; Ma, Qin; Odersky, Martin
1
2007
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
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
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.
23
1999
The call-by-need lambda calculus. Zbl 0918.03019
Maraist, John; Odersky, Martin; Wadler, Philip
22
1998
A confluent calculus for concurrent constraint programming. Zbl 0902.68034
Marriott, Kim; Odersky, Martin
3
1997
Programming with variable functions. Zbl 1369.68113
Odersky, Martin
1
1997
Negative Boolean constraints. Zbl 0872.68017
Marriott, Kim; Odersky, Martin
4
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
Spatial query optimization: From Boolean constraints to range queries. Zbl 0831.68039
Helm, Richard; Marriott, Kim; Odersky, Martin
3
1995
Polarized name passing. Zbl 1354.68201
Odersky, Martin
3
1995
all top 5

Cited by 181 Authors

5 Accattoli, Beniamino
5 Guerrieri, Giulio
4 Kesner, Delia
4 Odersky, Martin
3 Albert, Elvira
3 Asai, Kenichi
3 Martin-Martin, Enrique
3 Zucca, Elena
2 Ariola, Zena M.
2 Biernacki, Dariusz
2 Bucciarelli, Antonio
2 Cong, Youyou
2 Danvy, Olivier
2 de’Liguoro, Ugo
2 Espírito Santo, José Carlos
2 Faggian, Claudia
2 Flores-Montoya, Antonio
2 Genaim, Samir
2 Ishio, Chiaki
2 Johnsen, Einar Broch
2 Kiselyov, Oleg
2 López-Fraguas, Francisco Javier
2 Manzonetto, Giulio
2 Nakata, Keiko
2 Pinto, Luís F.
2 Polesiuk, Piotr
2 Rémy, Didier
2 Ríos, Alejandro
2 Rodríguez-Hortalá, Juan
2 Sánchez-Hernández, Jaime
2 Sangiorgi, Davide
2 Saurin, Alexis
2 Schlatte, Rudolf
2 Schmidt-Schauß, Manfred
2 Tapia Tarifa, Silvia Lizeth
2 Treglia, Riccardo
2 Uustalu, Tarmo
2 Viso, Andrés
2 Zerny, Ian
1 AbdelGawad, Moez A.
1 Alves, Sandra
1 Amadio, Roberto M.
1 Amin, Nada
1 Ancona, Davide
1 Banković, Dragić
1 Barras, Bruno
1 Biernacka, Małgorzata
1 Bliudze, Simon
1 Bloo, Roel
1 Bono, Viviana
1 Castagna, Giuseppe
1 Cazzola, Walter
1 Cesarini, Francesco
1 Charatonik, Witold
1 Chothia, Tom
1 Chroboczek, Juliusz
1 Chuang, Cheng-En
1 Crafa, Silvia
1 Dagnino, Francesco
1 Dal Lago, Ugo
1 Dal Zilio, Silvano
1 de Amorim, Pedro H. Azevedo
1 de Boer, Frank S.
1 De Meuter, Wolfgang
1 Dezani-Ciancaglini, Mariangiola
1 Díaz-Caro, Alejandro
1 Edelmann, Romain
1 Ehrhard, Thomas
1 Emir, Burak
1 Fan, Andong
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 Honda, Kaho
1 Huggins, James K.
1 Hüttel, Hans
1 Iraci, Grant
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 Lassez, Jean-Louis
1 Le Botlan, Didier
...and 81 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.