@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 = {Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, editor = {Gert Smolka}, volume = {1782}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67262-1}, } @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 = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013}, editor = {Jaakko Järvi and Christian Kästner}, publisher = {ACM}, isbn = {978-1-4503-2373-4}, } @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 = {24th International Conference on Field Programmable Logic and Applications, FPL 2014, Munich, Germany, 2-4 September, 2014}, publisher = {IEEE}, } @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 = {Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II}, editor = {Emmanuel Jeannot and Raymond Namyst and Jean Roman}, volume = {6853}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-23396-8}, } @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 = {Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming}, series = {ICFP '01}, address = {New York, NY, USA}, publisher = {Association for Computing Machinery}, } @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 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings}, editor = {Richard Jones}, volume = {8586}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-662-44201-2}, } @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 = {Proceedings of the third ACM SIGPLAN international conference on Functional programming}, editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec}, address = {Baltimore, Maryland, United States}, publisher = {ACM}, } @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 = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013}, editor = {Jaakko Järvi and Christian Kästner}, publisher = {ACM}, isbn = {978-1-4503-2373-4}, } @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 = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010}, editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard}, address = {Reno/Tahoe, Nevada}, publisher = {ACM}, isbn = {978-1-4503-0203-6}, } @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 = {Principles and Practice of Constraint Programming - CP 95, First International Conference, CP 95, Cassis, France, September 19-22, 1995, Proceedings}, editor = {Ugo Montanari and Francesca Rossi}, volume = {976}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60299-2}, } @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 = {Electronic Notes in Theoretical Computer Science}, 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 = {2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015}, editor = {Gail C. Murphy and Guy L. Steele Jr.}, publisher = {ACM}, isbn = {978-1-4503-3688-8}, } @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 = {Theoretical Computer Science}, 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 = {The School of Niklaus Wirth, The Art of Simplicity }, editor = {László Böszörményi and Jürg Gutknecht and Gustav Pomberger}, publisher = {dpunkt.verlag/Copublication with Morgan-Kaufmann}, isbn = {3-932588-85-1}, } @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 = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings}, editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann}, volume = {6418}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16611-2}, } @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 = {Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers}, editor = {Mehdi Jazayeri and Rüdiger Loos and David R. Musser}, volume = {1766}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-41090-2}, } @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 = {Languages and Compilers for Parallel Computing - 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers}, editor = {Xipeng Shen and Frank Mueller and James Tuck}, volume = {9519}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-29777-4}, } @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 = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, } @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 = {A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday}, editor = {Sam Lindley and Conor McBride and Philip W. Trinder and Donald Sannella}, volume = {9600}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-30935-4}, } @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 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings}, editor = {Bernd Krieg-Brückner}, volume = {582}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55253-7}, } @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 = {Proceedings of the 1st Workshop on Programming Language Evolution, PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014}, editor = {Raoul-Gabriel Urma and Dominic A. Orchard and Alan Mycroft}, publisher = {ACM}, isbn = {978-1-4503-2887-6}, } @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 = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010}, editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard}, address = {Reno/Tahoe, Nevada}, publisher = {ACM}, isbn = {978-1-4503-0203-6}, } @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 = {Languages and Compilers for Parallel Computing - 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25-27, 2013. Revised Selected Papers}, editor = {Calin Cascaval and Pablo Montesinos}, volume = {8664}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-09966-8}, } @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 = {Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991}, editor = {John Darlington and Roland Dietrich}, series = {Workshops in Computing}, publisher = {Springer}, isbn = {3-540-19735-4}, } @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 = {Theoretical Computer Science}, 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 = {Proceedings of the 28th International Conference on Machine Learning, ICML 2011, Bellevue, Washington, USA, June 28 - July 2, 2011}, editor = {Lise Getoor and Tobias Scheffer}, publisher = {Omnipress}, } @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 = {Theoretical Computer Science}, 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 = {Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014}, editor = {Andrew P. Black and Todd D. Millstein}, publisher = {ACM}, isbn = {978-1-4503-2585-1}, } @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 = {Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012}, editor = {J. Ramanujam and P. Sadayappan}, publisher = {ACM}, isbn = {978-1-4503-1160-1}, } @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 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings}, editor = {Theo D Hondt}, volume = {6183}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-14106-5}, } @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 = {36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014}, editor = {Pankaj Jalote and Lionel C. Briand and André van der Hoek}, publisher = {ACM}, isbn = {978-1-4503-2768-8}, } @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 = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013}, editor = {Antony L. Hosking and Patrick Th. Eugster and Cristina V. Lopes}, publisher = {ACM}, isbn = {978-1-4503-2374-1}, } @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 = {Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program}, editor = {Jürg Kohlas and Bertrand Meyer and André Schiper}, volume = {4028}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-36821-3}, } @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 = {Theoretical Aspects of Computer Software, International Conference TACS 94, Sendai, Japan, April 19-22, 1994, Proceedings}, editor = {Masami Hagiya and John C. Mitchell}, volume = {789}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57887-0}, } @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 = {2013 International Conference on Field-Programmable Technology, FPT 2013, Kyoto, Japan, December 9-11, 2013}, publisher = {IEEE}, } @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 = {Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures}, editor = {Gilles Barthe and Peter Dybjer and Luis Pinto and João Saraiva}, volume = {2395}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-44044-5}, } @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 = {Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers}, 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}, } @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 = {Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers}, editor = {Sanjay V. Rajopadhye and Michelle Mills Strout}, volume = {7146}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-36036-7}, } @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 = {ACM Trans. Embedded Comput. Syst.}, 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 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings}, editor = {Giuseppe Castagna}, volume = {7920}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-39037-1}, } @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 = {Communications of the ACM}, 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 = {Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings}, editor = {Jens Knoop}, volume = {6601}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-19860-1}, } @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 = {Proceedings of the 1992 ACM Conference on LISP and Functional Programming}, series = {LFP '92}, address = {New York, NY, USA}, publisher = {Association for Computing Machinery}, } @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 2008 - Proceedings of the Third International Conference on Software and Data Technologies, Volume PL/DPS/KE, Porto, Portugal, July 5-8, 2008}, editor = {José Cordeiro and Boris Shishkov and Alpesh Ranchordas and Markus Helfert}, publisher = {INSTICC Press}, isbn = {978-989-8111-51-7}, } @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 = {Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012}, editor = {Oleg Kiselyov and Simon Thompson}, publisher = {ACM}, isbn = {978-1-4503-1118-2}, } @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 = {Theoretical Computer Science}, 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 = {Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado}, publisher = {ACM Press}, isbn = {0-89791-430-9}, } @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 = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, editor = {Graham Hutton and Andrew P. Tolmach}, publisher = {ACM}, isbn = {978-1-60558-332-7}, } @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 = {Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014}, editor = {Andrew P. Black and Todd D. Millstein}, publisher = {ACM}, isbn = {978-1-4503-2585-1}, } @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 = {Communications of the ACM}, 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 = {Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings}, editor = {Wei-Ngan Chin}, volume = {3302}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-23724-0}, } @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 Notices}, 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 = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, } @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 = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, } @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 = {FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings}, editor = {Paritosh K. Pandya and Jaikumar Radhakrishnan}, volume = {2914}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20680-9}, } @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 = {Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013}, editor = {Werner Dietl}, publisher = {ACM}, isbn = {978-1-4503-2042-9}, } @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 = {Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012}, editor = {Oleg Kiselyov and Simon Thompson}, publisher = {ACM}, isbn = {978-1-4503-1118-2}, } @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 = {Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings}, editor = {Zhong Shao}, volume = {4807}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-76636-0}, } @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 = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014}, editor = {Philipp Haller and Heather Miller}, publisher = {ACM}, isbn = {978-1-4503-2868-5}, } @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 = {ACM Transactions on Programming Languages and Systems}, 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 Computing Surveys}, 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}, publisher = {ACM Press}, } @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 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings}, editor = {Luca Cardelli}, volume = {2743}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-40531-3}, } @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 = {Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010}, editor = {Sung Y. Shin and Sascha Ossowski and Michael Schumacher and Mathew J. Palakal and Chih-Cheng Hung}, publisher = {ACM}, isbn = {978-1-60558-639-7}, } @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 = {IEEE 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 = {Conference on Human Factors in Computing Systems, CHI 1991, New Orleans, LA, USA, April 27 - May 2, 1991, Proceedings}, editor = {Scott P. Robertson and Gary M. Olson and Judith S. Olson}, publisher = {ACM}, isbn = {0-89791-383-3}, } @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 = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013}, editor = {Roberto Giacobazzi and Radhia Cousot}, publisher = {ACM}, isbn = {978-1-4503-1832-7}, } @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 = {Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ 2015, Melbourne, FL, USA, September 8-11, 2015}, editor = {Ryan Stansifer and Andreas Krall}, publisher = {ACM}, isbn = {978-1-4503-3712-0}, } @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 = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006}, editor = {J. Gregory Morrisett and Simon L. Peyton Jones}, publisher = {ACM}, isbn = {1-59593-027-2}, } @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 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings}, editor = {James Noble}, volume = {7313}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-31056-0}, } @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 = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014}, editor = {Ulrik Pagh Schultz and Matthew Flatt}, publisher = {ACM}, isbn = {978-1-4503-3161-6}, } @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 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings}, editor = {James Noble}, volume = {7313}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-31056-0}, } @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 = {Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA}, editor = {Ralph E. Johnson and Richard P. Gabriel}, publisher = {ACM}, isbn = {1-59593-031-0}, } @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 = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA}, editor = {Gail E. Harris}, publisher = {ACM}, isbn = {978-1-60558-215-3}, } @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 = {Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings}, editor = {P. S. Thiagarajan}, volume = {1026}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60692-0}, } @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 = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014}, editor = {Philipp Haller and Heather Miller}, publisher = {ACM}, isbn = {978-1-4503-2868-5}, } @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 = {Languages and Compilers for Parallel Computing, 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers}, editor = {Hironori Kasahara and Keiji Kimura}, volume = {7760}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-37658-0}, } @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 = {Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings}, editor = {David E. Lightfoot and Clemens A. Szyperski}, volume = {4228}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-40927-0}, } @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 = {Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings}, 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}, } @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 = {ACM Transactions on Programming Languages and Systems}, 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 Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, editor = {Amy L. Murphy and Jan Vitek}, volume = {4467}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-72793-4}, } @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 = {Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings}, editor = {Rastislav Kralovic and Pawel Urzyczyn}, volume = {4162}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-37791-3}, } @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 = {Journal of Functional Programming}, 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 = {2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011, Galveston, TX, USA, October 10-14, 2011}, editor = {Lawrence Rauchwerger and Vivek Sarkar}, publisher = {IEEE Computer Society}, isbn = {978-1-4577-1794-9}, } @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 = {Higher-Order and Symbolic Computation}, 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 = {Theoretical Computer Science}, 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 = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL}, publisher = {Association for Computing Machinery}, } @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 = {Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010 }, editor = {Eelco Visser and Jaakko Järvi}, publisher = {ACM}, } @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 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings}, editor = {James Noble}, volume = {7313}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-31056-0}, } @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 = {ACM Transactions on Programming Languages and Systems}, 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 = {J. Comput. Syst. Sci.}, 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 = {Inform., Forsch. Entwickl.}, 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 = {Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS 2009, Genova, Italy, July 6, 2009}, editor = {Ian Rogers}, publisher = {ACM}, isbn = {978-1-60558-541-3}, } @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 = {23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015}, editor = {Masoud Daneshtalab and Marco Aldinucci and Ville Leppänen and Johan Lilius and Mats Brorsson}, publisher = {IEEE}, isbn = {978-1-4799-8491-6}, } @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 = {Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010}, editor = {Eelco Visser and Jaakko Järvi}, publisher = {ACM}, isbn = {978-1-4503-0154-1}, } @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 = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013}, editor = {Antony L. Hosking and Patrick Th. Eugster and Cristina V. Lopes}, publisher = {ACM}, isbn = {978-1-4503-2374-1}, } @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 = {Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications}, editor = {Jonathan Aldrich and Patrick Eugster}, publisher = {ACM}, isbn = {978-1-4503-3689-5}, } @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 = {Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS 2009, Genova, Italy, July 6, 2009}, editor = {Ian Rogers}, publisher = {ACM}, isbn = {978-1-60558-541-3}, } @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 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings}, editor = {Erik Ernst}, volume = {4609}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-73588-5}, } @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 = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India}, editor = {Ravi Kannan and K. Narayan Kumar}, volume = {4}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-939897-13-2}, } @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 = {Higher-Order and Symbolic Computation}, 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 = {Software - Concepts and Tools}, 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 = {ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings}, editor = {Eric Jul}, volume = {1445}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-64737-6}, } @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 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings}, editor = {Giuseppe Castagna}, volume = {7920}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-39037-1}, } @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 = {Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014}, editor = {Andrew P. Black and Todd D. Millstein}, publisher = {ACM}, isbn = {978-1-4503-2585-1}, } @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 = {Langages et Modèles à Objets, LMO 2009, Nancy, France, 25-27 mars 2009}, editor = {Bernard Carré and Olivier Zendra}, volume = {L-3}, series = {RNTI}, publisher = {Cépaduès-Éditions}, isbn = {978-2-85428-886-5}, } @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}, note = {SIGPLAN Notices 35(9), September 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}, }