default search action
Martin Odersky
Person information
- affiliation: Swiss Federal Institute of Technology in Lausanne, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]Yichen Xu
, Aleksander Boruch-Gruszecki
Degrees of Separation: A Flexible Type System for Safe Concurrency. Proc. ACM Program. Lang. 8(OOPSLA1): 1181-1207 (2024) - [c106]Anna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin Odersky:
Adaptive Recursive Query Optimization. ICDE 2024: 368-381 - [c105]Yichen Xu
A Formal Foundation of Reach Capabilities. Programming 2024 - 2023
- [j25]Aleksander Boruch-Gruszecki
Capturing Types. ACM Trans. Program. Lang. Syst. 45(4): 21:1-21:52 (2023) - [i7]Yichen Xu, Martin Odersky:
Formalizing Box Inference for Capture Calculus. CoRR abs/2306.06496 (2023) - [i6]Yichen Xu, Martin Odersky:
Degrees of Separation: A Flexible Type System for Data Race Prevention. CoRR abs/2308.07474 (2023) - [i5]Anna Herlihy, Guillaume Martres, Anastasia Ailamaki, Martin Odersky:
Adaptive Recursive Query Optimization. CoRR abs/2312.04282 (2023) - 2022
- [j24]Olivier Blanvillain, Jonathan Immanuel Brachthäuser
Type-level programming with match types. Proc. ACM Program. Lang. 6(POPL): 1-24 (2022) - [i4]Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták:
Scoped Capabilities for Polymorphic Effects. CoRR abs/2207.03402 (2022) - 2021
- [c104]Nicolas Stucki
Multi-stage programming with generative and analytical macros. GPCE 2021: 110-122 - [c103]Nicolas Stucki
Virtual ADTs for portable metaprogramming. MPLR 2021: 36-44 - [c102]Martin Odersky, Aleksander Boruch-Gruszecki
Safer exceptions for Scala. SCALA@SPLASH 2021: 1-11 - [i3]Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky:
Tracking Captured Variables in Types. CoRR abs/2105.11896 (2021) - 2020
- [j23]Fengyun Liu, Ondrej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky:
A type-and-effect system for object initialization. Proc. ACM Program. Lang. 4(OOPSLA): 175:1-175:28 (2020) - [c101]Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky:
Semantics-preserving inlining for metaprogramming. SCALA@SPLASH 2020: 14-24
2010 – 2019
- 2018
- [j22]Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. 2(POPL): 42:1-42:29 (2018) - [c100]Nicolas Stucki, Aggelos Biboudis, Martin Odersky:
A practical unification of multi-stage programming and macros. GPCE 2018: 14-27 - [c99]Fengyun Liu, Aggelos Biboudis, Martin Odersky:
Initialization patterns in Dotty. SCALA@ICFP 2018: 51-55 - [c98]Nicolas Stucki, Paolo G. Giarrusso, Martin Odersky:
Truly abstract interfaces for algebraic data types: the extractor typing problem. SCALA@ICFP 2018: 56-60 - [c97]Denys Shabalin, Martin Odersky:
Interflow: interprocedural flow-sensitive type inference and method duplication. SCALA@ICFP 2018: 61-71 - [i2]Aggelos Biboudis, Oleg Kiselyov, Martin Odersky:
Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14). NII Shonan Meet. Rep. 2018 (2018) - 2017
- [c96]Dmitry Petrashko, Ondrej Lhoták, Martin Odersky:
Miniphases: compilation using modular and efficient tree transformations. PLDI 2017: 201-216 - [i1]Aleksandar Prokopec, Phil Bagwell, Martin Odersky:
Cache-Aware Lock-Free Concurrent Hash Tries. CoRR abs/1709.06056 (2017) - 2016
- [c95]Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
The Essence of Dependent Object Types. A List of Successes That Can Change the World 2016: 249-272 - [c94]Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky:
Call graphs for languages with parametric polymorphism. OOPSLA 2016: 394-409 - [c93]Martin Odersky, Guillaume Martres, Dmitry Petrashko:
Implementing higher-kinded types in Dotty. SCALA@SPLASH 2016: 51-60 - 2015
- [c92]Aleksandar Prokopec
Conc-Trees for Functional and Parallel Programming. LCPC 2015: 254-268 - [c91]Aleksandar Prokopec
Isolates, channels, and event streams for composable distributed programming. Onward! 2015: 171-182 - [c90]Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky:
Automating ad hoc data representation transformations. OOPSLA 2015: 801-820 - [c89]Aleksandar Prokopec
Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections. PDP 2015: 248-252 - [c88]Vlad Ureche, Milos Stojanovic, Romain Béguet, Nicolas Stucki, Martin Odersky:
Improving the Interoperation between Generics Translations. PPPJ 2015: 113-124 - 2014
- [j21]Martin Odersky, Tiark Rompf:
Unifying functional and object-oriented programming with Scala. Commun. ACM 57(4): 76-86 (2014) - [j20]Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun
Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages. ACM Trans. Embed. Comput. Syst. 13(4s): 134:1-134:25 (2014) - [c87]Cédric Bastin, Vlad Ureche, Martin Odersky:
ScalaDyno: making name resolution and type checking fault-tolerant. SCALA@ECOOP 2014: 1-5 - [c86]Martin Odersky:
The evolution of Scala: PLE'14 keynote. PLE@ECOOP 2014: 4 - [c85]Aleksandar Prokopec
Containers and aggregates, mutators and isolates for reactive programming. SCALA@ECOOP 2014: 51-61 - [c84]Heather Miller, Philipp Haller, Martin Odersky:
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ECOOP 2014: 308-333 - [c83]Nithin George, HyoukJoong Lee, David Novo, Tiark Rompf, Kevin J. Brown, Arvind K. Sujeeth, Martin Odersky, Kunle Olukotun, Paolo Ienne:
Hardware system synthesis from Domain-Specific Languages. FPL 2014: 1-8 - [c82]Vojin Jovanovic, Amir Shaikhha, Sandro Stucki
Yin-yang: concealing the deep embedding of DSLs. GPCE 2014: 73-82 - [c81]Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky:
Functional programming for all! scaling a MOOC for students and professionals alike. ICSE Companion 2014: 256-263 - [c80]Nada Amin, Tiark Rompf, Martin Odersky:
Foundations of path-dependent types. OOPSLA 2014: 233-249 - [c79]Vlad Ureche, Eugene Burmako, Martin Odersky:
Late data layout: unifying data representation transformations. OOPSLA 2014: 397-416 - [c78]Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki
Staged parser combinators for efficient data processing. OOPSLA 2014: 637-653 - 2013
- [c77]Lukas Rytz, Nada Amin, Martin Odersky:
A flow-insensitive, modular effect system for purity. FTfJP@ECOOP 2013: 4:1-4:7 - [c76]Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec
Composition and Reuse with Compiled Domain-Specific Languages. ECOOP 2013: 52-78 - [c75]Ingo Maier, Martin Odersky:
Higher-Order Reactive Programming with Incremental Lists. ECOOP 2013: 707-731 - [c74]Nithin George, David Novo, Tiark Rompf, Martin Odersky, Paolo Ienne:
Making domain-specific hardware synthesis tools cost-efficient. FPT 2013: 120-127 - [c73]Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel:
Spiral in scala: towards the systematic construction of generators for performance libraries. GPCE 2013: 125-134 - [c72]Arvind K. Sujeeth, Austin Gibbons, Kevin J. Brown, HyoukJoong Lee, Tiark Rompf, Martin Odersky, Kunle Olukotun
Forge: generating a high performance DSL implementation from a declarative specification. GPCE 2013: 145-154 - [c71]Aleksandar Prokopec
Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel Workloads. LCPC 2013: 55-86 - [c70]Vlad Ureche, Cristian Talau, Martin Odersky:
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations. OOPSLA 2013: 73-92 - [c69]Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky:
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA 2013: 183-202 - [c68]Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. POPL 2013: 497-510 - 2012
- [j19]Tiark Rompf, Martin Odersky:
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. Commun. ACM 55(6): 121-130 (2012) - [j18]Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky:
Scala-Virtualized: linguistic reuse for deep embeddings. High. Order Symb. Comput. 25(1): 165-207 (2012) - [c67]Martin Odersky:
When Compilers Are Mirrors. ECOOP 2012: 1 - [c66]Lukas Rytz, Martin Odersky, Philipp Haller:
Lightweight Polymorphic Effects. ECOOP 2012: 258-282 - [c65]Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky:
JavaScript as an Embedded DSL. ECOOP 2012: 409-434 - [c64]Aleksandar Prokopec
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC 2012: 158-173 - [c63]Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky:
StagedSAC: a case study in performance-oriented DSL development. PEPM 2012: 73-82 - [c62]Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky:
Scala-virtualized. PEPM 2012: 117-120 - [c61]Aleksandar Prokopec
Concurrent tries with efficient non-blocking snapshots. PPoPP 2012: 151-160 - 2011
- [j17]HyoukJoong Lee, Kevin J. Brown, Arvind K. Sujeeth, Hassan Chafi, Tiark Rompf, Martin Odersky, Kunle Olukotun:
Implementing Domain-Specific Languages for Heterogeneous Parallel Computing. IEEE Micro 31(5): 42-53 (2011) - [c60]Kevin J. Brown, Arvind K. Sujeeth, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun:
A Heterogeneous Parallel Framework for Domain-Specific Languages. PACT 2011: 89-100 - [c59]Martin Odersky:
Future-Proofing Collections: From Mutable to Persistent to Parallel. CC 2011: 1 - [c58]Aleksandar Prokopec
A Generic Parallel Collection Framework. Euro-Par (2) 2011: 136-147 - [c57]Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Tiark Rompf, Hassan Chafi, Michael Wu, Anand R. Atreya, Martin Odersky, Kunle Olukotun:
OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning. ICML 2011: 609-616 - [c56]Aleksandar Prokopec
Lock-Free Resizeable Concurrent Tries. LCPC 2011: 156-170 - [c55]Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun:
Building-Blocks for Performance Oriented DSLs. DSL 2011: 93-117 - 2010
- [c54]Philipp Haller, Martin Odersky:
Capabilities for Uniqueness and Borrowing. ECOOP 2010: 354-378 - [c53]Tiark Rompf, Martin Odersky:
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. GPCE 2010: 127-136 - [c52]Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky:
Type classes as objects and implicits. OOPSLA 2010: 341-360 - [c51]Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun
Language virtualization for heterogeneous parallel computing. OOPSLA 2010: 835-847 - [c50]Martin Odersky:
Contracts for Scala. RV 2010: 51-57 - [c49]Lukas Rytz, Martin Odersky:
Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. SAC 2010: 2090-2095
2000 – 2009
- 2009
- [j16]Philipp Haller, Martin Odersky:
Scala Actors: Unifying thread-based and event-based programming. Theor. Comput. Sci. 410(2-3): 202-220 (2009) - [c48]Gilles Dubochet
Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective. ICOOOLPS@ECOOP 2009: 34-41 - [c47]Iulian Dragos, Martin Odersky:
Compiling generics through user-directed type specialization. ICOOOLPS@ECOOP 2009: 42-47 - [c46]Martin Odersky, Adriaan Moors:
Fighting bit Rot with Types (Experience Report: Scala Collections). FSTTCS 2009: 427-451 - [c45]Tiark Rompf, Ingo Maier, Martin Odersky:
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. ICFP 2009: 317-328 - [c44]Martin Odersky:
Essentials of Scala. LMO 2009: 2 - 2008
- [c43]Michael Pradel, Martin Odersky:
Scala Roles - A Lightweight Approach Towards Reusable Collaborations. ICSOFT (PL/DPS/KE) 2008: 13-20 - [c42]Michael Pradel, Martin Odersky:
Scala Roles: Reusable Object Collaborations in a Library. ICSOFT (Selected Papers) 2008: 23-36 - [c41]Adriaan Moors, Frank Piessens, Martin Odersky:
Generics of a higher kind. OOPSLA 2008: 423-438 - 2007
- [c40]Burak Emir, Qin Ma, Martin Odersky:
Translation Correctness for First-Order Object-Oriented Pattern Matching. APLAS 2007: 54-70 - [c39]Philipp Haller, Martin Odersky:
Actors That Unify Threads and Events. COORDINATION 2007: 171-190 - [c38]Burak Emir, Martin Odersky, John Williams:
Matching Objects with Patterns. ECOOP 2007: 273-298 - [e5]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. Lecture Notes in Computer Science 4420, Springer 2007, ISBN 978-3-540-71228-2 [contents] - 2006
- [c37]Burak Emir, Sebastian Maneth, Martin Odersky:
Scalable Programming Abstractions for XML Services. Research Results of the DICS Program 2006: 103-126 - [c36]Philipp Haller, Martin Odersky:
Event-Based Programming Without Inversion of Control. JMLC 2006: 4-22 - [c35]Vincent Cremet, François Garillot
A Core Calculus for Scala Type Checking. MFCS 2006: 1-23 - [c34]Martin Odersky:
The Scala experiment: can we provide better language support for component systems? POPL 2006: 166-167 - 2005
- [c33]Martin Odersky, Matthias Zenger:
Scalable component abstractions. OOPSLA 2005: 41-57 - 2004
- [j15]Martin Odersky, Benjamin C. Pierce:
Guest editorial. ACM Trans. Program. Lang. Syst. 26(5): 767-768 (2004) - [c32]Martin Odersky:
The Scala Experiment - Can We Provide Better Language Support for Component Systems? APLAS 2004: 364 - [e4]Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky:
Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers. Lecture Notes in Computer Science 3016, Springer 2004, ISBN 3-540-22119-0 [contents] - [e3]Martin Odersky:
ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings. Lecture Notes in Computer Science 3086, Springer 2004, ISBN 3-540-22159-X [contents] - 2003
- [c31]Vincent Cremet, Martin Odersky:
PiLib: A Hosted Language for Pi-Calculus Style Concurrency. Domain-Specific Program Generation 2003: 180-195 - [c30]Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger:
A Nominal Theory of Objects with Dependent Types. ECOOP 2003: 201-224 - [c29]Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky:
An Equational Theory for Transactions. FSTTCS 2003: 38-49 - 2001
- [c28]Matthias Zenger, Martin Odersky:
Extensible Algebraic Datatypes with Defaults. ICFP 2001: 241-252 - [c27]Martin Odersky, Christoph Zenger, Matthias Zenger:
Colored local type inference. POPL 2001: 41-53 - [c26]Michel Schinz, Martin Odersky:
Tail call elimination on the Java Virtual Machine. BABEL 2001: 158-171 - 2000
- [c25]Martin Odersky:
An Introduction to Functional Nets. APPSEM 2000: 333-377 - [c24]Martin Odersky:
Objects + Views = Components? Abstract State Machines 2000: 50-68 - [c23]Martin Odersky:
Programming with Functional Nets. The School of Niklaus Wirth 2000: 173-202 - [c22]Martin Odersky:
Functional Nets. ESOP 2000: 1-25 - [e2]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. Lecture Notes in Computer Science 1912, Springer 2000, ISBN 3-540-67959-6 [contents] - [e1]Martin Odersky, Philip Wadler:
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. ACM 2000, ISBN 1-58113-202-6 [contents]
1990 – 1999
- 1999
- [j14]Martin Odersky, Martin Sulzmann, Martin Wehr:
Type Inference with Constrained Types. Theory Pract. Object Syst. 5(1): 35-55 (1999) - [j13]John 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
- [j12]John Maraist, Martin Odersky, Philip Wadler:
The Call-by-Need Lambda Calculus. J. Funct. Program. 8(3): 275-317 (1998) - [c21]Martin Odersky, Enno Runne, Philip Wadler:
Two Ways to Bake Your Pizza - Translating Parameterised Types into Java. Generic Programming 1998: 114-132 - [c20]Kim B. Bruce, Martin Odersky, Philip Wadler:
A Statically Safe Alternative to Virtual Types. ECOOP 1998: 523-549 - [c19]Martin Odersky:
Programming with Variable Functions. ICFP 1998: 105-116 - [c18]Martin Odersky, Philip Wadler:
Leftover curry and reheated Pizza: how functional programming nourishes software reuse. ICSR 1998: 2-11 - [c17]Gilad 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 - 1997
- [j11]Martin Odersky:
Challenges in Type Systems Research. ACM SIGPLAN Notices 32(1): 92-93 (1997) - [j10]Kim Marriott, Martin Odersky:
A Confluent Calculus for Concurrent Constraint Programming. Theor. Comput. Sci. 173(1): 209-233 (1997) - [c16]Martin Odersky, Philip Wadler:
Pizza into Java: Translating Theory into Practice. POPL 1997: 146-159 - 1996
- [j9]Martin Odersky:
Challenges in Type Systems Research. ACM Comput. Surv. 28(4es): 169 (1996) - [j8]Kim Marriott, Martin Odersky:
Negative Boolean Constraints. Theor. Comput. Sci. 160(1&2): 365-380 (1996) - [c15]Martin Odersky, Konstantin Läufer:
Putting Type Annotations to Work. POPL 1996: 54-67 - 1995
- [j7]Richard Helm, Kim Marriott, Martin Odersky:
Spatial Query Optimization: From Boolean Constraints to Range Queries. J. Comput. Syst. Sci. 51(2): 197-210 (1995) - [j6]Ian A. Mason, Martin Odersky:
Special Issue on State in Programming Languages - Introduction. LISP Symb. Comput. 8(4): 291-292 (1995) - [c14]Kim Marriott, Martin Odersky:
A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice. CP 1995: 310-327 - [c13]Martin Odersky, Philip Wadler, Martin Wehr:
A Second Look at Overloading. FPCA 1995: 135-146 - [c12]Martin Odersky:
Polarized Name Passing. FSTTCS 1995: 324-337 - [c11]Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler:
The Call-by-Need Lambda Calculus. POPL 1995: 233-246 - [c10]John Maraist, Martin Odersky, David N. Turner, Philip Wadler:
Call-by-name, call-by-value, call-by-need and the linear lambda calculus. MFPS 1995: 370-392 - 1994
- [j5]Konstantin Läufer
Polymorphic Type Inference and Abstract Data Types. ACM Trans. Program. Lang. Syst. 16(5): 1411-1430 (1994) - [c9]Martin Odersky:
A Functional Theory of Local Names. POPL 1994: 48-59 - [c8]Kung Chen
A Type System for a Lambda Calculus with Assignments. TACS 1994: 347-364 - 1993
- [j4]Martin Odersky:
Defining Context-Dependent Syntax Without Using Contexts. ACM Trans. Program. Lang. Syst. 15(3): 535-562 (1993) - [c7]Martin Odersky, Dan Rabin, Paul Hudak:
Call by Name, Assignment, and the Lambda Calculus. POPL 1993: 43-56 - 1992
- [c6]Martin Odersky:
Observers for Linear Types. ESOP 1992: 390-407 - [c5]Kung Chen, Paul Hudak, Martin Odersky:
Parametric Type Classes. LISP and Functional Programming 1992: 170-181 - 1991
- [c4]Richard Helm, Kim Marruitt, Martin Odersky:
Building visual language parsers. CHI 1991: 105-112 - [c3]Konstantin Läufer, Martin Odersky:
Type Classes are Signatures of Abstract Types. Declarative Programming 1991: 148-162 - [c2]Richard Helm, Kim Marriott, Martin Odersky:
Constraint-Based Query Optimization for Spatial Databases. PODS 1991: 181-191 - [c1]Martin Odersky:
How to Make Destructive Updates Less Destructive. POPL 1991: 25-36 - 1990
- [j3]Martin Odersky:
Extending MODULA-2 for object-oriented programming. Microprocess. Microsystems 14(3): 153-159 (1990)
1980 – 1989
- 1989
- [b1]Martin Odersky:
A new approach to formal language definition and its application to Oberon. ETH Zurich, Zürich, Switzerland, 1989, pp. 1-160 - [j2]Martin Odersky:
MINOS: A New Approach to the Design of an Input/Output Library for Modula-2. Struct. Program. 10(2): 89-105 (1989) - 1987
- [j1]Martin Odersky:
Einfache und effiziente inkrementelle Syntaxanalyse. Inform. Forsch. Entwickl. 2(2): 73-82 (1987)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: