@inproceedings{Odersky00:2,
  title = {Functional Nets},
  author = {Martin Odersky},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1782/17820001.htm},
  researchr = {https://researchr.org/publication/Odersky00%3A2},
  cites = {0},
  citedby = {0},
  pages = {1-25},
  booktitle = {ESOP},
}

@inproceedings{OfenbeckRSOP13,
  title = {Spiral in scala: towards the systematic construction of generators for performance libraries},
  author = {Georg Ofenbeck and Tiark Rompf and Alen Stojanov and Martin Odersky and Markus Püschel},
  year = {2013},
  doi = {10.1145/2517208.2517228},
  url = {http://doi.acm.org/10.1145/2517208.2517228},
  researchr = {https://researchr.org/publication/OfenbeckRSOP13},
  cites = {0},
  citedby = {0},
  pages = {125-134},
  booktitle = {GPCE},
}

@inproceedings{GeorgeLNRBSOOI14,
  title = {Hardware system synthesis from Domain-Specific Languages},
  author = {Nithin George and HyoukJoong Lee and David Novo and Tiark Rompf and Kevin J. Brown and Arvind K. Sujeeth and Martin Odersky and Kunle Olukotun and Paolo Ienne},
  year = {2014},
  doi = {10.1109/FPL.2014.6927454},
  url = {http://dx.doi.org/10.1109/FPL.2014.6927454},
  researchr = {https://researchr.org/publication/GeorgeLNRBSOOI14},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {fpl},
}

@inproceedings{ProkopecBRO11,
  title = {A Generic Parallel Collection Framework},
  author = {Aleksandar Prokopec and Phil Bagwell and Tiark Rompf and Martin Odersky},
  year = {2011},
  doi = {10.1007/978-3-642-23397-5_14},
  url = {http://dx.doi.org/10.1007/978-3-642-23397-5_14},
  researchr = {https://researchr.org/publication/ProkopecBRO11},
  cites = {0},
  citedby = {0},
  pages = {136-147},
  booktitle = {europar},
}

@inproceedings{ZengerO01,
  title = {Extensible Algebraic Datatypes with Defaults},
  author = {Matthias Zenger and Martin Odersky},
  year = {2001},
  url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.6778},
  tags = { algebra},
  researchr = {https://researchr.org/publication/ZengerO01},
  cites = {0},
  citedby = {0},
  pages = {241-252},
  booktitle = {ICFP},
}

@inproceedings{MillerHO14,
  title = {Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution},
  author = {Heather Miller and Philipp Haller and Martin Odersky},
  year = {2014},
  doi = {10.1007/978-3-662-44202-9_13},
  url = {http://dx.doi.org/10.1007/978-3-662-44202-9_13},
  researchr = {https://researchr.org/publication/MillerHO14},
  cites = {0},
  citedby = {0},
  pages = {308-333},
  booktitle = {ECOOP},
}

@inproceedings{Odersky98,
  title = {Programming with Variable Functions},
  author = {Martin Odersky},
  year = {1998},
  doi = {10.1145/289423.289433},
  url = {http://doi.acm.org/10.1145/289423.289433},
  tags = {programming},
  researchr = {https://researchr.org/publication/Odersky98},
  cites = {0},
  citedby = {0},
  pages = {105-116},
  booktitle = {ICFP},
}

@inproceedings{SujeethGBLROO13,
  title = {Forge: generating a high performance DSL implementation from a declarative specification},
  author = {Arvind K. Sujeeth and Austin Gibbons and Kevin J. Brown and HyoukJoong Lee and Tiark Rompf and Martin Odersky and Kunle Olukotun},
  year = {2013},
  doi = {10.1145/2517208.2517220},
  url = {http://doi.acm.org/10.1145/2517208.2517220},
  researchr = {https://researchr.org/publication/SujeethGBLROO13},
  cites = {0},
  citedby = {0},
  pages = {145-154},
  booktitle = {GPCE},
}

@inproceedings{OliveiraMO10,
  title = {Type classes as objects and implicits},
  author = {Bruno C. d. S. Oliveira and Adriaan Moors and Martin Odersky},
  year = {2010},
  doi = {10.1145/1869459.1869489},
  url = {http://doi.acm.org/10.1145/1869459.1869489},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/OliveiraMO10},
  cites = {0},
  citedby = {0},
  pages = {341-360},
  booktitle = {OOPSLA},
}

@inproceedings{MarriottO95,
  title = {A Confluent Calculus for Concurrent Constraint Programming with Guarded Choice},
  author = {Kim Marriott and Martin Odersky},
  year = {1995},
  tags = {constraints, programming},
  researchr = {https://researchr.org/publication/MarriottO95},
  cites = {0},
  citedby = {0},
  pages = {310-327},
  booktitle = {cp},
}

@article{MaraistOTW95,
  title = {Call-by-name, call-by-value, call-by-need and the linear lambda calculus},
  author = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler},
  year = {1995},
  url = {http://www.elsevier.com/gej-ng/31/29/23/26/23/show/Products/notes/index.htt#023},
  researchr = {https://researchr.org/publication/MaraistOTW95},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {1},
  pages = {370-392},
}

@article{OderskySW99,
  title = {Type Inference with Constrained Types},
  author = {Martin Odersky and Martin Sulzmann and Martin Wehr},
  year = {1999},
  tags = {type inference},
  researchr = {https://researchr.org/publication/OderskySW99},
  cites = {0},
  citedby = {0},
  journal = {tapos},
  volume = {5},
  number = {1},
  pages = {35-55},
}

@inproceedings{ProkopecO15,
  title = {Isolates, channels, and event streams for composable distributed programming},
  author = {Aleksandar Prokopec and Martin Odersky},
  year = {2015},
  doi = {10.1145/2814228.2814245},
  url = {http://doi.acm.org/10.1145/2814228.2814245},
  researchr = {https://researchr.org/publication/ProkopecO15},
  cites = {0},
  citedby = {0},
  pages = {171-182},
  booktitle = {OOPSLA},
}

@article{MaraistOTW99,
  title = {Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus},
  author = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler},
  year = {1999},
  doi = {10.1016/S0304-3975(98)00358-2},
  url = {http://dx.doi.org/10.1016/S0304-3975(98)00358-2},
  researchr = {https://researchr.org/publication/MaraistOTW99},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {228},
  number = {1-2},
  pages = {175-210},
}

@inproceedings{Odersky00,
  title = {Programming with Functional Nets},
  author = {Martin Odersky},
  year = {2000},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/Odersky00},
  cites = {0},
  citedby = {0},
  pages = {173-202},
  booktitle = {BIRTHDAY},
}

@inproceedings{Odersky10,
  title = {Contracts for Scala},
  author = {Martin Odersky},
  year = {2010},
  doi = {10.1007/978-3-642-16612-9_5},
  url = {http://dx.doi.org/10.1007/978-3-642-16612-9_5},
  tags = {Scala, contracts},
  researchr = {https://researchr.org/publication/Odersky10},
  cites = {0},
  citedby = {0},
  pages = {51-57},
  booktitle = {RV},
}

@inproceedings{OderskyRW98,
  title = {Two Ways to Bake Your Pizza - Translating Parameterised Types into Java},
  author = {Martin Odersky and Enno Runne and Philip Wadler},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1766/17660114.htm},
  tags = {Java, translation},
  researchr = {https://researchr.org/publication/OderskyRW98},
  cites = {0},
  citedby = {0},
  pages = {114-132},
  booktitle = {Dagstuhl},
}

@inproceedings{ProkopecO15-0,
  title = {Conc-Trees for Functional and Parallel Programming},
  author = {Aleksandar Prokopec and Martin Odersky},
  year = {2015},
  doi = {10.1007/978-3-319-29778-1_16},
  url = {http://dx.doi.org/10.1007/978-3-319-29778-1_16},
  researchr = {https://researchr.org/publication/ProkopecO15-0},
  cites = {0},
  citedby = {0},
  pages = {254-268},
  booktitle = {lcpc},
}

@article{Zenger01implementingextensible,
  title = {Implementing Extensible Compilers},
  author = {Matthias Zenger and Martin Odersky},
  year = {2001},
  url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.6913},
  tags = {compiler},
  researchr = {https://researchr.org/publication/Zenger01implementingextensible},
  cites = {0},
  citedby = {0},
}

@inproceedings{OderskyW97,
  title = {Pizza into Java: Translating Theory into Practice},
  author = {Martin Odersky and Philip Wadler},
  year = {1997},
  doi = {10.1145/263699.263715},
  url = {http://doi.acm.org/10.1145/263699.263715},
  tags = {Java, translation},
  researchr = {https://researchr.org/publication/OderskyW97},
  cites = {0},
  citedby = {0},
  pages = {146-159},
  booktitle = {POPL},
}

@inproceedings{AminGORS16,
  title = {The Essence of Dependent Object Types},
  author = { Nada Amin and Samuel Grütter and Martin Odersky and Tiark Rompf and Sandro Stucki},
  year = {2016},
  doi = {10.1007/978-3-319-30936-1_14},
  url = {http://dx.doi.org/10.1007/978-3-319-30936-1_14},
  researchr = {https://researchr.org/publication/AminGORS16},
  cites = {0},
  citedby = {0},
  pages = {249-272},
  booktitle = {BIRTHDAY},
}

@inproceedings{Odersky92,
  title = {Observers for Linear Types},
  author = {Martin Odersky},
  year = {1992},
  researchr = {https://researchr.org/publication/Odersky92},
  cites = {0},
  citedby = {0},
  pages = {390-407},
  booktitle = {ESOP},
}

@inproceedings{BrachaOSW98,
  title = {Making the Future Safe for the Past: Adding Genericity to the Java Programming Language},
  author = {Gilad Bracha and Martin Odersky and David Stoutamire and Philip Wadler},
  year = {1998},
  doi = {10.1145/286936.286957},
  url = {http://doi.acm.org/10.1145/286936.286957},
  tags = {programming languages, Java, generic programming, programming},
  researchr = {https://researchr.org/publication/BrachaOSW98},
  cites = {0},
  citedby = {0},
  pages = {183-200},
  booktitle = {OOPSLA},
}

@inproceedings{Odersky14,
  title = {The evolution of Scala: PLE'14 keynote},
  author = {Martin Odersky},
  year = {2014},
  doi = {10.1145/2717124.2717126},
  url = {http://doi.acm.org/10.1145/2717124.2717126},
  researchr = {https://researchr.org/publication/Odersky14},
  cites = {0},
  citedby = {0},
  pages = {4},
  booktitle = {ECOOP},
}

@inproceedings{ChafiDMRSHOO10,
  title = {Language virtualization for heterogeneous parallel computing},
  author = {Hassan Chafi and Zach DeVito and Adriaan Moors and Tiark Rompf and Arvind K. Sujeeth and Pat Hanrahan and Martin Odersky and Kunle Olukotun},
  year = {2010},
  doi = {10.1145/1869459.1869527},
  url = {http://doi.acm.org/10.1145/1869459.1869527},
  researchr = {https://researchr.org/publication/ChafiDMRSHOO10},
  cites = {0},
  citedby = {0},
  pages = {835-847},
  booktitle = {OOPSLA},
}

@inproceedings{ProkopecO13,
  title = {Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel Workloads},
  author = {Aleksandar Prokopec and Martin Odersky},
  year = {2013},
  doi = {10.1007/978-3-319-09967-5_4},
  url = {http://dx.doi.org/10.1007/978-3-319-09967-5_4},
  researchr = {https://researchr.org/publication/ProkopecO13},
  cites = {0},
  citedby = {0},
  pages = {55-86},
  booktitle = {lcpc},
}

@inproceedings{LauferO91,
  title = {Type Classes are Signatures of Abstract Types},
  author = {Konstantin Läufer and Martin Odersky},
  year = {1991},
  researchr = {https://researchr.org/publication/LauferO91},
  cites = {0},
  citedby = {0},
  pages = {148-162},
  booktitle = {phoenix},
}

@article{MarriottO96,
  title = {Negative Boolean Constraints},
  author = {Kim Marriott and Martin Odersky},
  year = {1996},
  doi = {10.1016/0304-3975(95)00209-X},
  url = {http://dx.doi.org/10.1016/0304-3975(95)00209-X},
  tags = {constraints},
  researchr = {https://researchr.org/publication/MarriottO96},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {160},
  number = {1&2},
  pages = {365-380},
}

@inproceedings{SujeethLBRCWAOO11,
  title = {OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning},
  author = {Arvind K. Sujeeth and HyoukJoong Lee and Kevin J. Brown and Tiark Rompf and Hassan Chafi and Michael Wu and Anand R. Atreya and Martin Odersky and Kunle Olukotun},
  year = {2011},
  researchr = {https://researchr.org/publication/SujeethLBRCWAOO11},
  cites = {0},
  citedby = {0},
  pages = {609-616},
  booktitle = {icml},
}

@article{SchinzO01,
  title = {Tail call elimination on the Java Virtual Machine},
  author = {Michel Schinz and Martin Odersky},
  year = {2001},
  url = {http://www.elsevier.nl/locate/entcs/volume59.html},
  tags = {Java},
  researchr = {https://researchr.org/publication/SchinzO01},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {59},
  number = {1},
  pages = {158-171},
}

@inproceedings{UrecheBO14,
  title = {Late data layout: unifying data representation transformations},
  author = {Vlad Ureche and Eugene Burmako and Martin Odersky},
  year = {2014},
  doi = {10.1145/2660193.2660197},
  url = {http://doi.acm.org/10.1145/2660193.2660197},
  researchr = {https://researchr.org/publication/UrecheBO14},
  cites = {0},
  citedby = {0},
  pages = {397-416},
  booktitle = {OOPSLA},
}

@inproceedings{ProkopecBBO12,
  title = {Concurrent tries with efficient non-blocking snapshots},
  author = {Aleksandar Prokopec and Nathan Grasso Bronson and Phil Bagwell and Martin Odersky},
  year = {2012},
  doi = {10.1145/2145816.2145836},
  url = {http://doi.acm.org/10.1145/2145816.2145836},
  researchr = {https://researchr.org/publication/ProkopecBBO12},
  cites = {0},
  citedby = {0},
  pages = {151-160},
  booktitle = {ppopp},
}

@inproceedings{OderskyL96,
  title = {Putting Type Annotations to Work},
  author = {Martin Odersky and Konstantin Läufer},
  year = {1996},
  doi = {10.1145/237721.237729},
  url = {http://doi.acm.org/10.1145/237721.237729},
  tags = {translation, type system, data-flow programming, data-flow},
  researchr = {https://researchr.org/publication/OderskyL96},
  cites = {0},
  citedby = {0},
  pages = {54-67},
  booktitle = {POPL},
}

@inproceedings{HallerO10,
  title = {Capabilities for Uniqueness and Borrowing},
  author = {Philipp Haller and Martin Odersky},
  year = {2010},
  doi = {10.1007/978-3-642-14107-2_17},
  url = {http://dx.doi.org/10.1007/978-3-642-14107-2_17},
  researchr = {https://researchr.org/publication/HallerO10},
  cites = {0},
  citedby = {0},
  pages = {354-378},
  booktitle = {ECOOP},
}

@inproceedings{MillerHRO14,
  title = {Functional programming for all! scaling a MOOC for students and professionals alike},
  author = {Heather Miller and Philipp Haller and Lukas Rytz and Martin Odersky},
  year = {2014},
  doi = {10.1145/2591062.2591161},
  url = {http://doi.acm.org/10.1145/2591062.2591161},
  researchr = {https://researchr.org/publication/MillerHRO14},
  cites = {0},
  citedby = {0},
  pages = {256-263},
  booktitle = {ICSE},
}

@inproceedings{MillerHBO13,
  title = {Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization},
  author = {Heather Miller and Philipp Haller and Eugene Burmako and Martin Odersky},
  year = {2013},
  doi = {10.1145/2509136.2509547},
  url = {http://doi.acm.org/10.1145/2509136.2509547},
  researchr = {https://researchr.org/publication/MillerHBO13},
  cites = {0},
  citedby = {0},
  pages = {183-202},
  booktitle = {OOPSLA},
}

@inproceedings{EmirMO06,
  title = {Scalable Programming Abstractions for XML Services},
  author = {Burak Emir and Sebastian Maneth and Martin Odersky},
  year = {2006},
  doi = {10.1007/11808107_5},
  url = {http://dx.doi.org/10.1007/11808107_5},
  tags = {Scala, XML, XML Schema, programming, abstraction},
  researchr = {https://researchr.org/publication/EmirMO06},
  cites = {0},
  citedby = {0},
  pages = {103-126},
  booktitle = {dics},
}

@inproceedings{AriolaFMOW95,
  title = {The Call-by-Need Lambda Calculus},
  author = {Zena M. Ariola and Matthias Felleisen and John Maraist and Martin Odersky and Philip Wadler},
  year = {1995},
  researchr = {https://researchr.org/publication/AriolaFMOW95},
  cites = {0},
  citedby = {0},
  pages = {233-246},
  booktitle = {POPL},
}

@inproceedings{ChenO94,
  title = {A Type System for a Lambda Calculus with Assignments},
  author = {Kung Chen and Martin Odersky},
  year = {1994},
  tags = {type system},
  researchr = {https://researchr.org/publication/ChenO94},
  cites = {0},
  citedby = {0},
  pages = {347-364},
  booktitle = {tacs},
}

@inproceedings{GeorgeNROI13,
  title = {Making domain-specific hardware synthesis tools cost-efficient},
  author = {Nithin George and David Novo and Tiark Rompf and Martin Odersky and Paolo Ienne},
  year = {2013},
  doi = {10.1109/FPT.2013.6718341},
  url = {http://dx.doi.org/10.1109/FPT.2013.6718341},
  researchr = {https://researchr.org/publication/GeorgeNROI13},
  cites = {0},
  citedby = {0},
  pages = {120-127},
  booktitle = {fpt},
}

@inproceedings{Odersky00:0,
  title = {An Introduction to Functional Nets},
  author = {Martin Odersky},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2395/23950333.htm},
  researchr = {https://researchr.org/publication/Odersky00%3A0},
  cites = {0},
  citedby = {0},
  pages = {333-377},
  booktitle = {ac},
}

@inproceedings{CremetO03,
  title = {PiLib: A Hosted Language for Pi-Calculus Style Concurrency},
  author = {Vincent Cremet and Martin Odersky},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=180},
  researchr = {https://researchr.org/publication/CremetO03},
  cites = {0},
  citedby = {0},
  pages = {180-195},
  booktitle = {Dagstuhl},
}

@inproceedings{ProkopecBO11,
  title = {Lock-Free Resizeable Concurrent Tries},
  author = {Aleksandar Prokopec and Phil Bagwell and Martin Odersky},
  year = {2011},
  doi = {10.1007/978-3-642-36036-7_11},
  url = {http://dx.doi.org/10.1007/978-3-642-36036-7_11},
  researchr = {https://researchr.org/publication/ProkopecBO11},
  cites = {0},
  citedby = {0},
  pages = {156-170},
  booktitle = {lcpc},
}

@article{SujeethBLRCOO14,
  title = {Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages},
  author = {Arvind K. Sujeeth and Kevin J. Brown and HyoukJoong Lee and Tiark Rompf and Hassan Chafi and Martin Odersky and Kunle Olukotun},
  year = {2014},
  doi = {10.1145/2584665},
  url = {http://doi.acm.org/10.1145/2584665},
  researchr = {https://researchr.org/publication/SujeethBLRCOO14},
  cites = {0},
  citedby = {0},
  journal = {tecs},
  volume = {13},
  number = {4s},
}

@inproceedings{SujeethRBLCPWPJOO13,
  title = {Composition and Reuse with Compiled Domain-Specific Languages},
  author = {Arvind K. Sujeeth and Tiark Rompf and Kevin J. Brown and HyoukJoong Lee and Hassan Chafi and Victoria Popic and Michael Wu and Aleksandar Prokopec and Vojin Jovanovic and Martin Odersky and Kunle Olukotun},
  year = {2013},
  doi = {10.1007/978-3-642-39038-8_3},
  url = {http://dx.doi.org/10.1007/978-3-642-39038-8_3},
  researchr = {https://researchr.org/publication/SujeethRBLCPWPJOO13},
  cites = {0},
  citedby = {0},
  pages = {52-78},
  booktitle = {ECOOP},
}

@article{RompfO12,
  title = {Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs},
  author = {Tiark Rompf and Martin Odersky},
  year = {2012},
  doi = {10.1145/2184319.2184345},
  url = {http://doi.acm.org/10.1145/2184319.2184345},
  researchr = {https://researchr.org/publication/RompfO12},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {55},
  number = {6},
  pages = {121-130},
}

@inproceedings{Odersky11,
  title = {Future-Proofing Collections: From Mutable to Persistent to Parallel},
  author = {Martin Odersky},
  year = {2011},
  doi = {10.1007/978-3-642-19861-8_1},
  url = {http://dx.doi.org/10.1007/978-3-642-19861-8_1},
  tags = {persistent},
  researchr = {https://researchr.org/publication/Odersky11},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {CC},
}

@inproceedings{ChenHO92,
  title = {Parametric Type Classes},
  author = {Kung Chen and Paul Hudak and Martin Odersky},
  year = {1992},
  doi = {10.1145/141471.141536},
  url = {http://doi.acm.org/10.1145/141471.141536},
  researchr = {https://researchr.org/publication/ChenHO92},
  cites = {0},
  citedby = {0},
  pages = {170-181},
  booktitle = {lfp},
}

@inproceedings{Odersky91,
  title = {How to Make Destructive Updates Less Destructive},
  author = {Martin Odersky},
  year = {1991},
  researchr = {https://researchr.org/publication/Odersky91},
  cites = {0},
  citedby = {0},
  pages = {25-36},
  booktitle = {POPL},
}

@inproceedings{PradelO08,
  title = {Scala Roles - A Lightweight Approach Towards Reusable Collaborations},
  author = {Michael Pradel and Martin Odersky},
  year = {2008},
  tags = {Scala, reuse, systematic-approach},
  researchr = {https://researchr.org/publication/PradelO08},
  cites = {0},
  citedby = {0},
  pages = {13-20},
  booktitle = {ICSOFT},
}

@inproceedings{MoorsRHO12,
  title = {Scala-virtualized},
  author = {Adriaan Moors and Tiark Rompf and Philipp Haller and Martin Odersky},
  year = {2012},
  doi = {10.1145/2103746.2103769},
  url = {http://doi.acm.org/10.1145/2103746.2103769},
  researchr = {https://researchr.org/publication/MoorsRHO12},
  cites = {0},
  citedby = {0},
  pages = {117-120},
  booktitle = {PEPM},
}

@article{HallerO09,
  title = {Scala Actors: Unifying thread-based and event-based programming},
  author = {Philipp Haller and Martin Odersky},
  year = {2009},
  doi = {10.1016/j.tcs.2008.09.019},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.09.019},
  tags = {rule-based, Scala, programming},
  researchr = {https://researchr.org/publication/HallerO09},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {410},
  number = {2-3},
  pages = {202-220},
}

@inproceedings{HelmMO91,
  title = {Constraint-Based Query Optimization for Spatial Databases},
  author = {Richard Helm and Kim Marriott and Martin Odersky},
  year = {1991},
  doi = {10.1145/113413.113429},
  url = {http://doi.acm.org/10.1145/113413.113429},
  tags = {optimization, rule-based, constraints},
  researchr = {https://researchr.org/publication/HelmMO91},
  cites = {0},
  citedby = {0},
  pages = {181-191},
  booktitle = {PODS},
}

@inproceedings{RompfMO09,
  title = {Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform},
  author = {Tiark Rompf and Ingo Maier and Martin Odersky},
  year = {2009},
  doi = {10.1145/1596550.1596596},
  url = {http://doi.acm.org/10.1145/1596550.1596596},
  researchr = {https://researchr.org/publication/RompfMO09},
  cites = {0},
  citedby = {0},
  pages = {317-328},
  booktitle = {ICFP},
}

@inproceedings{OderskyWW95,
  title = {A Second Look at Overloading},
  author = {Martin Odersky and Philip Wadler and Martin Wehr},
  year = {1995},
  researchr = {https://researchr.org/publication/OderskyWW95},
  cites = {0},
  citedby = {0},
  pages = {135-146},
  booktitle = {fpca},
}

@inproceedings{AminRO14,
  title = {Foundations of path-dependent types},
  author = { Nada Amin and Tiark Rompf and Martin Odersky},
  year = {2014},
  doi = {10.1145/2660193.2660216},
  url = {http://doi.acm.org/10.1145/2660193.2660216},
  researchr = {https://researchr.org/publication/AminRO14},
  cites = {0},
  citedby = {0},
  pages = {233-249},
  booktitle = {OOPSLA},
}

@article{OderskyR14,
  title = {Unifying functional and object-oriented programming with Scala},
  author = {Martin Odersky and Tiark Rompf},
  year = {2014},
  doi = {10.1145/2591013},
  url = {http://doi.acm.org/10.1145/2591013},
  researchr = {https://researchr.org/publication/OderskyR14},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {57},
  number = {4},
  pages = {76-86},
}

@inproceedings{Odersky04,
  title = {The Scala Experiment - Can We Provide Better Language Support for Component Systems?},
  author = {Martin Odersky},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=364},
  tags = {Scala},
  researchr = {https://researchr.org/publication/Odersky04},
  cites = {0},
  citedby = {0},
  pages = {364},
  booktitle = {aplas},
}

@article{Odersky97,
  title = {Challenges in Type Systems Research},
  author = {Martin Odersky},
  year = {1997},
  tags = {type system},
  researchr = {https://researchr.org/publication/Odersky97},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {32},
  number = {1},
  pages = {92-93},
}

@inproceedings{Odersky94,
  title = {A Functional Theory of Local Names},
  author = {Martin Odersky},
  year = {1994},
  researchr = {https://researchr.org/publication/Odersky94},
  cites = {0},
  citedby = {0},
  pages = {48-59},
  booktitle = {POPL},
}

@inproceedings{OderskyRH93,
  title = {Call by Name, Assignment, and the Lambda Calculus},
  author = {Martin Odersky and Dan Rabin and Paul Hudak},
  year = {1993},
  researchr = {https://researchr.org/publication/OderskyRH93},
  cites = {0},
  citedby = {0},
  pages = {43-56},
  booktitle = {POPL},
}

@inproceedings{BlackCGO03,
  title = {An Equational Theory for Transactions},
  author = {Andrew P. Black and Vincent Cremet and Rachid Guerraoui and Martin Odersky},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2914&spage=38},
  researchr = {https://researchr.org/publication/BlackCGO03},
  cites = {0},
  citedby = {0},
  pages = {38-49},
  booktitle = {fsttcs},
}

@inproceedings{RytzAO13,
  title = {A flow-insensitive, modular effect system for purity},
  author = {Lukas Rytz and  Nada Amin and Martin Odersky},
  year = {2013},
  doi = {10.1145/2489804.2489808},
  url = {http://doi.acm.org/10.1145/2489804.2489808},
  researchr = {https://researchr.org/publication/RytzAO13},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP},
}

@inproceedings{UrecheRSCO12,
  title = {StagedSAC: a case study in performance-oriented DSL development},
  author = {Vlad Ureche and Tiark Rompf and Arvind K. Sujeeth and Hassan Chafi and Martin Odersky},
  year = {2012},
  doi = {10.1145/2103746.2103762},
  url = {http://doi.acm.org/10.1145/2103746.2103762},
  researchr = {https://researchr.org/publication/UrecheRSCO12},
  cites = {0},
  citedby = {0},
  pages = {73-82},
  booktitle = {PEPM},
}

@inproceedings{EmirMO07,
  title = {Translation Correctness for First-Order Object-Oriented Pattern Matching},
  author = {Burak Emir and Qin Ma and Martin Odersky},
  year = {2007},
  doi = {10.1007/978-3-540-76637-7_5},
  url = {http://dx.doi.org/10.1007/978-3-540-76637-7_5},
  tags = {Scala, translation, pattern matching},
  researchr = {https://researchr.org/publication/EmirMO07},
  cites = {0},
  citedby = {0},
  pages = {54-70},
  booktitle = {aplas},
}

@inproceedings{BastinUO14,
  title = {ScalaDyno: making name resolution and type checking fault-tolerant},
  author = {Cédric Bastin and Vlad Ureche and Martin Odersky},
  year = {2014},
  doi = {10.1145/2637647.2637649},
  url = {http://doi.acm.org/10.1145/2637647.2637649},
  researchr = {https://researchr.org/publication/BastinUO14},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {ECOOP},
}

@article{OderskyP04,
  title = {Guest editorial},
  author = {Martin Odersky and Benjamin C. Pierce},
  year = {2004},
  doi = {10.1145/1018203.1018204},
  url = {http://doi.acm.org/10.1145/1018203.1018204},
  tags = {C++},
  researchr = {https://researchr.org/publication/OderskyP04},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {26},
  number = {5},
  pages = {767-768},
}

@article{Odersky96,
  title = {Challenges in Type Systems Research},
  author = {Martin Odersky},
  year = {1996},
  tags = {type system},
  researchr = {https://researchr.org/publication/Odersky96},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {28},
  number = {4es},
  pages = {169},
}

@inproceedings{Rompf2013,
  title = {Optimizing Data Structures in High-Level Programs},
  author = {Tiark Rompf and Arvind K. Sujeeth and  Nada Amin and Kevin J. Brown and Vojin Jovanovic and HyoukJoong Lee and Manohar Jonnalagedda and Kunle Olukotun and Martin Odersky},
  year = {2013},
  month = {January},
  tags = {data validation, optimization, object-oriented programming, intermediate representation, case study, graph transformation, interpreter, parallel programming, type system, macros, data-flow programming, graph-rewriting, code generation, transformation system, compiler, partial evaluation, subject-oriented programming, abstraction, program optimization, higher-order transformations, rewriting, systematic-approach, feature-oriented programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/Rompf2013},
  cites = {0},
  citedby = {0},
  booktitle = {POPL 2013},
}

@inproceedings{OderskyCRZ03,
  title = {A Nominal Theory of Objects with Dependent Types},
  author = {Martin Odersky and Vincent Cremet and Christine Röckl and Matthias Zenger},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2743&spage=201},
  tags = {meta-model, type theory, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/OderskyCRZ03},
  cites = {0},
  citedby = {0},
  pages = {201-224},
  booktitle = {ECOOP},
}

@inproceedings{RytzO10,
  title = {Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language},
  author = {Lukas Rytz and Martin Odersky},
  year = {2010},
  doi = {10.1145/1774088.1774529},
  url = {http://doi.acm.org/10.1145/1774088.1774529},
  tags = {Scala, language design, design},
  researchr = {https://researchr.org/publication/RytzO10},
  cites = {0},
  citedby = {0},
  pages = {2090-2095},
  booktitle = {SAC},
}

@article{LeeBSCROO11,
  title = {Implementing Domain-Specific Languages for Heterogeneous Parallel Computing},
  author = {HyoukJoong Lee and Kevin J. Brown and Arvind K. Sujeeth and Hassan Chafi and Tiark Rompf and Martin Odersky and Kunle Olukotun},
  year = {2011},
  doi = {10.1109/MM.2011.68},
  url = {http://doi.ieeecomputersociety.org/10.1109/MM.2011.68},
  researchr = {https://researchr.org/publication/LeeBSCROO11},
  cites = {0},
  citedby = {0},
  journal = {micro},
  volume = {31},
  number = {5},
  pages = {42-53},
}

@inproceedings{HelmMO91-0,
  title = {Building visual language parsers},
  author = {Richard Helm and Kim Marruitt and Martin Odersky},
  year = {1991},
  doi = {10.1145/108844.108860},
  url = {http://doi.acm.org/10.1145/108844.108860},
  tags = {parsing},
  researchr = {https://researchr.org/publication/HelmMO91-0},
  cites = {0},
  citedby = {0},
  pages = {105-112},
  booktitle = {CHI},
}

@inproceedings{RompfSABJLJOO13,
  title = {Optimizing data structures in high-level programs: new directions for extensible compilers based on staging},
  author = {Tiark Rompf and Arvind K. Sujeeth and  Nada Amin and Kevin J. Brown and Vojin Jovanovic and HyoukJoong Lee and Manohar Jonnalagedda and Kunle Olukotun and Martin Odersky},
  year = {2013},
  doi = {10.1145/2429069.2429128},
  url = {http://doi.acm.org/10.1145/2429069.2429128},
  researchr = {https://researchr.org/publication/RompfSABJLJOO13},
  cites = {0},
  citedby = {0},
  pages = {497-510},
  booktitle = {POPL},
}

@inproceedings{UrecheSBSO15,
  title = {Improving the Interoperation between Generics Translations},
  author = {Vlad Ureche and Milos Stojanovic and Romain Beguet and Nicolas Stucki and Martin Odersky},
  year = {2015},
  doi = {10.1145/2807426.2807436},
  url = {http://doi.acm.org/10.1145/2807426.2807436},
  researchr = {https://researchr.org/publication/UrecheSBSO15},
  cites = {0},
  citedby = {0},
  pages = {113-124},
  booktitle = {PPPJ},
}

@inproceedings{Odersky06,
  title = {The Scala experiment: can we provide better language support for component systems?},
  author = {Martin Odersky},
  year = {2006},
  doi = {10.1145/1111037.1111052},
  url = {http://doi.acm.org/10.1145/1111037.1111052},
  tags = {Scala},
  researchr = {https://researchr.org/publication/Odersky06},
  cites = {0},
  citedby = {0},
  pages = {166-167},
  booktitle = {POPL},
}

@inproceedings{RytzOH12,
  title = {Lightweight Polymorphic Effects},
  author = {Lukas Rytz and Martin Odersky and Philipp Haller},
  year = {2012},
  doi = {10.1007/978-3-642-31057-7_13},
  url = {http://dx.doi.org/10.1007/978-3-642-31057-7_13},
  researchr = {https://researchr.org/publication/RytzOH12},
  cites = {0},
  citedby = {0},
  pages = {258-282},
  booktitle = {ECOOP},
}

@inproceedings{JovanovicSSNKO14,
  title = {Yin-yang: concealing the deep embedding of DSLs},
  author = {Vojin Jovanovic and Amir Shaikhha and Sandro Stucki and Vladimir Nikolaev and Christoph Koch and Martin Odersky},
  year = {2014},
  doi = {10.1145/2658761.2658771},
  url = {http://doi.acm.org/10.1145/2658761.2658771},
  researchr = {https://researchr.org/publication/JovanovicSSNKO14},
  cites = {0},
  citedby = {0},
  pages = {73-82},
  booktitle = {GPCE},
}

@inproceedings{Odersky12,
  title = {When Compilers Are Mirrors},
  author = {Martin Odersky},
  year = {2012},
  doi = {10.1007/978-3-642-31057-7_1},
  url = {http://dx.doi.org/10.1007/978-3-642-31057-7_1},
  researchr = {https://researchr.org/publication/Odersky12},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {ECOOP},
}

@inproceedings{OderskyZ05,
  title = {Scalable component abstractions},
  author = {Martin Odersky and Matthias Zenger},
  year = {2005},
  doi = {10.1145/1094811.1094815},
  url = {http://doi.acm.org/10.1145/1094811.1094815},
  tags = {Scala, abstraction},
  researchr = {https://researchr.org/publication/OderskyZ05},
  cites = {0},
  citedby = {0},
  pages = {41-57},
  booktitle = {OOPSLA},
}

@inproceedings{MoorsPO08,
  title = {Generics of a higher kind},
  author = {Adriaan Moors and Frank Piessens and Martin Odersky},
  year = {2008},
  doi = {10.1145/1449764.1449798},
  url = {http://doi.acm.org/10.1145/1449764.1449798},
  tags = {Scala},
  researchr = {https://researchr.org/publication/MoorsPO08},
  cites = {0},
  citedby = {0},
  pages = {423-438},
  booktitle = {OOPSLA},
}

@inproceedings{Odersky95,
  title = {Polarized Name Passing},
  author = {Martin Odersky},
  year = {1995},
  researchr = {https://researchr.org/publication/Odersky95},
  cites = {0},
  citedby = {0},
  pages = {324-337},
  booktitle = {fsttcs},
}

@inproceedings{ProkopecHO14,
  title = {Containers and aggregates, mutators and isolates for reactive programming},
  author = {Aleksandar Prokopec and Philipp Haller and Martin Odersky},
  year = {2014},
  doi = {10.1145/2637647.2637656},
  url = {http://doi.acm.org/10.1145/2637647.2637656},
  researchr = {https://researchr.org/publication/ProkopecHO14},
  cites = {0},
  citedby = {0},
  pages = {51-61},
  booktitle = {ECOOP},
}

@inproceedings{ProkopecMSHO12,
  title = {FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction},
  author = {Aleksandar Prokopec and Heather Miller and Tobias Schlatter and Philipp Haller and Martin Odersky},
  year = {2012},
  doi = {10.1007/978-3-642-37658-0_11},
  url = {http://dx.doi.org/10.1007/978-3-642-37658-0_11},
  researchr = {https://researchr.org/publication/ProkopecMSHO12},
  cites = {0},
  citedby = {0},
  pages = {158-173},
  booktitle = {lcpc},
}

@inproceedings{HallerO06,
  title = {Event-Based Programming Without Inversion of Control},
  author = {Philipp Haller and Martin Odersky},
  year = {2006},
  doi = {10.1007/11860990_2},
  url = {http://dx.doi.org/10.1007/11860990_2},
  tags = {rule-based, programming},
  researchr = {https://researchr.org/publication/HallerO06},
  cites = {0},
  citedby = {0},
  pages = {4-22},
  booktitle = {jmlc},
}

@inproceedings{Odersky00:1,
  title = {Objects + Views = Components?},
  author = {Martin Odersky},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1912/19120050.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Odersky00%3A1},
  cites = {0},
  citedby = {0},
  pages = {50-68},
  booktitle = {asmta},
}

@article{LauferO94,
  title = {Polymorphic Type Inference and Abstract Data Types},
  author = {Konstantin Läufer and Martin Odersky},
  year = {1994},
  doi = {10.1145/186025.186031},
  url = {http://doi.acm.org/10.1145/186025.186031},
  tags = {type inference, data-flow},
  researchr = {https://researchr.org/publication/LauferO94},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {16},
  number = {5},
  pages = {1411-1430},
}

@inproceedings{HallerO07,
  title = {Actors That Unify Threads and Events},
  author = {Philipp Haller and Martin Odersky},
  year = {2007},
  doi = {10.1007/978-3-540-72794-1_10},
  url = {http://dx.doi.org/10.1007/978-3-540-72794-1_10},
  tags = {Scala},
  researchr = {https://researchr.org/publication/HallerO07},
  cites = {0},
  citedby = {0},
  pages = {171-190},
  booktitle = {coordination},
}

@inproceedings{CremetGLO06,
  title = {A Core Calculus for Scala Type Checking},
  author = {Vincent Cremet and François Garillot and Sergueï Lenglet and Martin Odersky},
  year = {2006},
  doi = {10.1007/11821069_1},
  url = {http://dx.doi.org/10.1007/11821069_1},
  tags = {Scala, type checking},
  researchr = {https://researchr.org/publication/CremetGLO06},
  cites = {0},
  citedby = {0},
  pages = {1-23},
  booktitle = {mfcs},
}

@article{MaraistOW98,
  title = {The Call-by-Need Lambda Calculus},
  author = {John Maraist and Martin Odersky and Philip Wadler},
  year = {1998},
  researchr = {https://researchr.org/publication/MaraistOW98},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {8},
  number = {3},
  pages = {275-317},
}

@book{OderskySpoonVenners2008,
  title = {Programming in {Scala}. {A} comprehensive step-by-step guide},
  author = {Martin Odersky and  Lex Spoon and Bill Venners},
  year = {2008},
  month = {November},
  tags = {programming languages, object-oriented programming, Scala, Java, meta programming, functional programming, language design, teaching, programming, subject-oriented programming, Meta-Environment, design, systematic-approach, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/OderskySpoonVenners2008},
  cites = {0},
  citedby = {0},
  publisher = {Artima},
}

@inproceedings{BrownSLRCOO11,
  title = {A Heterogeneous Parallel Framework for Domain-Specific Languages},
  author = {Kevin J. Brown and Arvind K. Sujeeth and HyoukJoong Lee and Tiark Rompf and Hassan Chafi and Martin Odersky and Kunle Olukotun},
  year = {2011},
  doi = {10.1109/PACT.2011.15},
  url = {http://doi.ieeecomputersociety.org/10.1109/PACT.2011.15},
  researchr = {https://researchr.org/publication/BrownSLRCOO11},
  cites = {0},
  citedby = {0},
  pages = {89-100},
  booktitle = {IEEEpact},
}

@article{RompfAMHO12,
  title = {Scala-Virtualized: linguistic reuse for deep embeddings},
  author = {Tiark Rompf and  Nada Amin and Adriaan Moors and Philipp Haller and Martin Odersky},
  year = {2012},
  doi = {10.1007/s10990-013-9096-9},
  url = {http://dx.doi.org/10.1007/s10990-013-9096-9},
  researchr = {https://researchr.org/publication/RompfAMHO12},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {25},
  number = {1},
  pages = {165-207},
}

@article{MarriottO97,
  title = {A Confluent Calculus for Concurrent Constraint Programming},
  author = {Kim Marriott and Martin Odersky},
  year = {1997},
  doi = {10.1016/S0304-3975(96)00196-X},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)00196-X},
  tags = {constraints, programming},
  researchr = {https://researchr.org/publication/MarriottO97},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {173},
  number = {1},
  pages = {209-233},
}

@inproceedings{OderskyZZ01,
  title = {Colored local type inference},
  author = {Martin Odersky and Christoph Zenger and Matthias Zenger},
  year = {2001},
  doi = {10.1145/360204.360207},
  url = {http://doi.acm.org/10.1145/360204.360207},
  tags = {type inference, local type inference},
  researchr = {https://researchr.org/publication/OderskyZZ01},
  cites = {0},
  citedby = {0},
  pages = {41-53},
  booktitle = {POPL},
}

@inproceedings{Rompf-GPCE-2010,
  title = {Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled {DSLs}},
  author = {Tiark Rompf and Martin Odersky},
  year = {2010},
  tags = {code generation, compiler, DSL, systematic-approach},
  researchr = {https://researchr.org/publication/Rompf-GPCE-2010},
  cites = {0},
  citedby = {0},
  booktitle = {GPCE},
}

@inproceedings{KossakowskiARO12,
  title = {JavaScript as an Embedded DSL},
  author = {Grzegorz Kossakowski and  Nada Amin and Tiark Rompf and Martin Odersky},
  year = {2012},
  doi = {10.1007/978-3-642-31057-7_19},
  url = {http://dx.doi.org/10.1007/978-3-642-31057-7_19},
  researchr = {https://researchr.org/publication/KossakowskiARO12},
  cites = {0},
  citedby = {0},
  pages = {409-434},
  booktitle = {ECOOP},
}

@techreport{MoorsPO2008,
  title = {Parser combinators in Scala},
  author = {Adriaan Moors and  F. Piessens and Martin Odersky},
  year = {2008},
  month = {February},
  tags = {Scala, parsing},
  researchr = {https://researchr.org/publication/MoorsPO2008},
  cites = {0},
  citedby = {1},
  institution = {Department of Computer Science, K.U. Leuven},
}

@article{Odersky93,
  title = {Defining Context-Dependent Syntax Without Using Contexts},
  author = {Martin Odersky},
  year = {1993},
  doi = {10.1145/169683.174159},
  url = {http://doi.acm.org/10.1145/169683.174159},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/Odersky93},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {15},
  number = {3},
  pages = {535-562},
}

@book{ScalaLanguageSpecification:2.13,
  title = {Scala Language Specification: Version 2.13},
  author = {Martin Odersky and Altherr, Philippe and Cremet, Vincent and Dubochet, Gilles and Emir, Burak and Haller, Philipp and Micheloud, Stéphane and Mihaylov, Nikolay and Moors, Adriaan and Rytz, Lukas and Schinz, Michel and Stenman, Erik and Zenger, Matthias},
  year = {2019},
  url = {https://www.scala-lang.org/files/archive/spec/2.13/},
  researchr = {https://researchr.org/publication/ScalaLanguageSpecification%3A2.13},
  cites = {0},
  citedby = {0},
}

@article{HelmMO95,
  title = {Spatial Query Optimization: From Boolean Constraints to Range Queries},
  author = {Richard Helm and Kim Marriott and Martin Odersky},
  year = {1995},
  tags = {optimization, constraints},
  researchr = {https://researchr.org/publication/HelmMO95},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {51},
  number = {2},
  pages = {197-210},
}

@article{Odersky87,
  title = {Einfache und effiziente inkrementelle Syntaxanalyse},
  author = {Martin Odersky},
  year = {1987},
  researchr = {https://researchr.org/publication/Odersky87},
  cites = {0},
  citedby = {0},
  journal = {ife},
  volume = {2},
  number = {2},
  pages = {73-82},
}

@inproceedings{DubochetO09,
  title = {Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective},
  author = {Gilles Dubochet and Martin Odersky},
  year = {2009},
  doi = {10.1145/1565824.1565829},
  url = {http://doi.acm.org/10.1145/1565824.1565829},
  researchr = {https://researchr.org/publication/DubochetO09},
  cites = {0},
  citedby = {0},
  pages = {34-41},
  booktitle = {ECOOP},
}

@inproceedings{ProkopecPO15,
  title = {Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections},
  author = {Aleksandar Prokopec and Dmitry Petrashko and Martin Odersky},
  year = {2015},
  doi = {10.1109/PDP.2015.65},
  url = {http://dx.doi.org/10.1109/PDP.2015.65},
  researchr = {https://researchr.org/publication/ProkopecPO15},
  cites = {0},
  citedby = {0},
  pages = {248-252},
  booktitle = {pdp},
}

@inproceedings{RompfO10,
  title = {Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs},
  author = {Tiark Rompf and Martin Odersky},
  year = {2010},
  doi = {10.1145/1868294.1868314},
  url = {http://doi.acm.org/10.1145/1868294.1868314},
  tags = {code generation, compiler, DSL, systematic-approach},
  researchr = {https://researchr.org/publication/RompfO10},
  cites = {0},
  citedby = {0},
  pages = {127-136},
  booktitle = {GPCE},
}

@inproceedings{UrecheTO13,
  title = {Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations},
  author = {Vlad Ureche and Cristian Talau and Martin Odersky},
  year = {2013},
  doi = {10.1145/2509136.2509537},
  url = {http://doi.acm.org/10.1145/2509136.2509537},
  researchr = {https://researchr.org/publication/UrecheTO13},
  cites = {0},
  citedby = {0},
  pages = {73-92},
  booktitle = {OOPSLA},
}

@inproceedings{UrecheBSO15,
  title = {Automating ad hoc data representation transformations},
  author = {Vlad Ureche and Aggelos Biboudis and Yannis Smaragdakis and Martin Odersky},
  year = {2015},
  doi = {10.1145/2814270.2814271},
  url = {http://doi.acm.org/10.1145/2814270.2814271},
  researchr = {https://researchr.org/publication/UrecheBSO15},
  cites = {0},
  citedby = {0},
  pages = {801-820},
  booktitle = {OOPSLA},
}

@inproceedings{DragosO09,
  title = {Compiling generics through user-directed type specialization},
  author = {Iulian Dragos and Martin Odersky},
  year = {2009},
  doi = {10.1145/1565824.1565830},
  url = {http://doi.acm.org/10.1145/1565824.1565830},
  researchr = {https://researchr.org/publication/DragosO09},
  cites = {0},
  citedby = {0},
  pages = {42-47},
  booktitle = {ECOOP},
}

@inproceedings{EmirOW07,
  title = {Matching Objects with Patterns},
  author = {Burak Emir and Martin Odersky and John Williams},
  year = {2007},
  doi = {10.1007/978-3-540-73589-2_14},
  url = {http://dx.doi.org/10.1007/978-3-540-73589-2_14},
  tags = {meta-model, pattern matching, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/EmirOW07},
  cites = {0},
  citedby = {0},
  pages = {273-298},
  booktitle = {ECOOP},
}

@inproceedings{OderskyM09,
  title = {Fighting bit Rot with Types (Experience Report: Scala Collections)},
  author = {Martin Odersky and Adriaan Moors},
  year = {2009},
  doi = {10.4230/LIPIcs.FSTTCS.2009.2338},
  url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2009.2338},
  tags = {Scala},
  researchr = {https://researchr.org/publication/OderskyM09},
  cites = {0},
  citedby = {0},
  pages = {427-451},
  booktitle = {fsttcs},
}

@article{MasonO95,
  title = {Special Issue on State in Programming Languages - Introduction},
  author = {Ian A. Mason and Martin Odersky},
  year = {1995},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/MasonO95},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {8},
  number = {4},
  pages = {291-292},
}

@inproceedings{OderskyZ2005,
  title = {Independently extensible solutions to the expression problem},
  author = {Martin Odersky and  M. Zenger},
  year = {2005},
  researchr = {https://researchr.org/publication/OderskyZ2005},
  cites = {0},
  citedby = {1},
  booktitle = {Proceedings of the Twelth International Workshop on Foundations of Object-Oriented Languages (FOOL 12)},
}

@article{Odersky89,
  title = {MINOS: A New Approach to the Design of an Input/Output Library for Modula-2},
  author = {Martin Odersky},
  year = {1989},
  tags = {design, systematic-approach},
  researchr = {https://researchr.org/publication/Odersky89},
  cites = {0},
  citedby = {0},
  journal = {stp},
  volume = {10},
  number = {2},
  pages = {89-105},
}

@inproceedings{BruceOW98,
  title = {A Statically Safe Alternative to Virtual Types},
  author = {Kim B. Bruce and Martin Odersky and Philip Wadler},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1445/14450523.htm},
  researchr = {https://researchr.org/publication/BruceOW98},
  cites = {0},
  citedby = {0},
  pages = {523-549},
  booktitle = {ECOOP},
}

@inproceedings{MaierO13,
  title = {Higher-Order Reactive Programming with Incremental Lists},
  author = {Ingo Maier and Martin Odersky},
  year = {2013},
  doi = {10.1007/978-3-642-39038-8_29},
  url = {http://dx.doi.org/10.1007/978-3-642-39038-8_29},
  researchr = {https://researchr.org/publication/MaierO13},
  cites = {0},
  citedby = {0},
  pages = {707-731},
  booktitle = {ECOOP},
}

@inproceedings{JonnalageddaCSRO14,
  title = {Staged parser combinators for efficient data processing},
  author = {Manohar Jonnalagedda and Thierry Coppey and Sandro Stucki and Tiark Rompf and Martin Odersky},
  year = {2014},
  doi = {10.1145/2660193.2660241},
  url = {http://doi.acm.org/10.1145/2660193.2660241},
  researchr = {https://researchr.org/publication/JonnalageddaCSRO14},
  cites = {0},
  citedby = {0},
  pages = {637-653},
  booktitle = {OOPSLA},
}

@inproceedings{Odersky09,
  title = {Essentials of Scala},
  author = {Martin Odersky},
  year = {2009},
  url = {http://editions-rnti.fr/?inprocid=1000751},
  researchr = {https://researchr.org/publication/Odersky09},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {lmo},
}
@proceedings{icfp-2000,
  title = {Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000},
  year = {2000},
  researchr = {https://researchr.org/publication/icfp-2000},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000},
  conference = {ICFP},
  editor = {Martin Odersky and Philip Wadler},
  publisher = {ACM},
  isbn = {1-58113-202-6},
}

@proceedings{cc:2007,
  title = {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},
  year = {2007},
  tags = {compiler},
  researchr = {https://researchr.org/publication/cc%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  conference = {CC},
  editor = {Shriram Krishnamurthi and Martin Odersky},
  volume = {4420},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71228-2},
}

@proceedings{dagstuhl:2003dspg,
  title = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers},
  year = {2004},
  researchr = {https://researchr.org/publication/dagstuhl%3A2003dspg},
  cites = {0},
  citedby = {0},
  booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers},
  conference = {Dagstuhl},
  editor = {Christian Lengauer and Don S. Batory and Charles Consel and Martin Odersky},
  volume = {3016},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22119-0},
}

@proceedings{ecoop:2004,
  title = {ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings},
  year = {2004},
  tags = {object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/ecoop%3A2004},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings},
  conference = {ECOOP},
  editor = {Martin Odersky},
  volume = {3086},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22159-X},
}

@proceedings{asm:2000,
  title = {Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings},
  year = {2000},
  tags = {state machines, abstract machine},
  researchr = {https://researchr.org/publication/asm%3A2000},
  cites = {0},
  citedby = {0},
  booktitle = {Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings},
  conference = {asmta},
  editor = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele},
  volume = {1912},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67959-6},
}