Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Odersky
@article{DBLP:journals/toplas/BoruchGruszeckiOLLB23,
author = {Aleksander Boruch{-}Gruszecki and
Martin Odersky and
Edward Lee and
Ondrej Lhot{\'{a}}k and
Jonathan Immanuel Brachth{\"{a}}user},
title = {Capturing Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {45},
number = {4},
pages = {21:1--21:52},
year = {2023},
url = {https://doi.org/10.1145/3618003},
doi = {10.1145/3618003},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BoruchGruszeckiOLLB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06496,
author = {Yichen Xu and
Martin Odersky},
title = {Formalizing Box Inference for Capture Calculus},
journal = {CoRR},
volume = {abs/2306.06496},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.06496},
doi = {10.48550/ARXIV.2306.06496},
eprinttype = {arXiv},
eprint = {2306.06496},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-06496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07474,
author = {Yichen Xu and
Martin Odersky},
title = {Degrees of Separation: {A} Flexible Type System for Data Race Prevention},
journal = {CoRR},
volume = {abs/2308.07474},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.07474},
doi = {10.48550/ARXIV.2308.07474},
eprinttype = {arXiv},
eprint = {2308.07474},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-07474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-04282,
author = {Anna Herlihy and
Guillaume Martres and
Anastasia Ailamaki and
Martin Odersky},
title = {Adaptive Recursive Query Optimization},
journal = {CoRR},
volume = {abs/2312.04282},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.04282},
doi = {10.48550/ARXIV.2312.04282},
eprinttype = {arXiv},
eprint = {2312.04282},
timestamp = {Mon, 01 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-04282.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BlanvillainBKO22,
author = {Olivier Blanvillain and
Jonathan Immanuel Brachth{\"{a}}user and
Maxime Kjaer and
Martin Odersky},
title = {Type-level programming with match types},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--24},
year = {2022},
url = {https://doi.org/10.1145/3498698},
doi = {10.1145/3498698},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BlanvillainBKO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-03402,
author = {Martin Odersky and
Aleksander Boruch{-}Gruszecki and
Edward Lee and
Jonathan Immanuel Brachth{\"{a}}user and
Ondrej Lhot{\'{a}}k},
title = {Scoped Capabilities for Polymorphic Effects},
journal = {CoRR},
volume = {abs/2207.03402},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.03402},
doi = {10.48550/ARXIV.2207.03402},
eprinttype = {arXiv},
eprint = {2207.03402},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-03402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/StuckiBO21,
author = {Nicolas Stucki and
Jonathan Immanuel Brachth{\"{a}}user and
Martin Odersky},
editor = {Eli Tilevich and
Coen De Roover},
title = {Multi-stage programming with generative and analytical macros},
booktitle = {{GPCE} '21: Concepts and Experiences, Chicago, IL, USA, October 17
- 18, 2021},
pages = {110--122},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486609.3487203},
doi = {10.1145/3486609.3487203},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/StuckiBO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/StuckiBO21,
author = {Nicolas Stucki and
Jonathan Immanuel Brachth{\"{a}}user and
Martin Odersky},
editor = {Herbert Kuchen and
Jeremy Singer},
title = {Virtual ADTs for portable metaprogramming},
booktitle = {{MPLR} '21: 18th {ACM} {SIGPLAN} International Conference on Managed
Programming Languages and Runtimes, M{\"{u}}nster, Germany, September
29-30, 2021},
pages = {36--44},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3475738.3480717},
doi = {10.1145/3475738.3480717},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pppj/StuckiBO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/OderskyBBLL21,
author = {Martin Odersky and
Aleksander Boruch{-}Gruszecki and
Jonathan Immanuel Brachth{\"{a}}user and
Edward Lee and
Ondrej Lhot{\'{a}}k},
editor = {Julien Richard{-}Foy and
S{\'{e}}bastien Doeraene},
title = {Safer exceptions for Scala},
booktitle = {{SCALA} 2021: Proceedings of the 12th {ACM} {SIGPLAN} International
Symposium on Scala, Chicago, IL, USA, 17 October 2021},
pages = {1--11},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486610.3486893},
doi = {10.1145/3486610.3486893},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/OderskyBBLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-11896,
author = {Aleksander Boruch{-}Gruszecki and
Jonathan Immanuel Brachth{\"{a}}user and
Edward Lee and
Ondrej Lhot{\'{a}}k and
Martin Odersky},
title = {Tracking Captured Variables in Types},
journal = {CoRR},
volume = {abs/2105.11896},
year = {2021},
url = {https://arxiv.org/abs/2105.11896},
eprinttype = {arXiv},
eprint = {2105.11896},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-11896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiuLBGO20,
author = {Fengyun Liu and
Ondrej Lhot{\'{a}}k and
Aggelos Biboudis and
Paolo G. Giarrusso and
Martin Odersky},
title = {A type-and-effect system for object initialization},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {175:1--175:28},
year = {2020},
url = {https://doi.org/10.1145/3428243},
doi = {10.1145/3428243},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiuLBGO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/StuckiBDO20,
author = {Nicolas Stucki and
Aggelos Biboudis and
S{\'{e}}bastien Doeraene and
Martin Odersky},
editor = {Guido Salvaneschi and
Nada Amin},
title = {Semantics-preserving inlining for metaprogramming},
booktitle = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
Software for Humanity, Virtual Event, USA, November, 2020},
pages = {14--24},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3426426.3428486},
doi = {10.1145/3426426.3428486},
timestamp = {Tue, 30 Nov 2021 17:43:07 +0100},
biburl = {https://dblp.org/rec/conf/scala/StuckiBDO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/OderskyBLBMS18,
author = {Martin Odersky and
Olivier Blanvillain and
Fengyun Liu and
Aggelos Biboudis and
Heather Miller and
Sandro Stucki},
title = {Simplicitly: foundations and applications of implicit function types},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {42:1--42:29},
year = {2018},
url = {https://doi.org/10.1145/3158130},
doi = {10.1145/3158130},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/OderskyBLBMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/StuckiBO18,
author = {Nicolas Stucki and
Aggelos Biboudis and
Martin Odersky},
editor = {Eric Van Wyk and
Tiark Rompf},
title = {A practical unification of multi-stage programming and macros},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston,
MA, USA, November 5-6, 2018},
pages = {14--27},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278122.3278139},
doi = {10.1145/3278122.3278139},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/StuckiBO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/LiuBO18,
author = {Fengyun Liu and
Aggelos Biboudis and
Martin Odersky},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Initialization patterns in Dotty},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {51--55},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241662},
doi = {10.1145/3241653.3241662},
timestamp = {Tue, 11 Dec 2018 19:20:16 +0100},
biburl = {https://dblp.org/rec/conf/scala/LiuBO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/StuckiGO18,
author = {Nicolas Stucki and
Paolo G. Giarrusso and
Martin Odersky},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Truly abstract interfaces for algebraic data types: the extractor
typing problem},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {56--60},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241658},
doi = {10.1145/3241653.3241658},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/StuckiGO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/ShabalinO18,
author = {Denys Shabalin and
Martin Odersky},
editor = {Sebastian Erdweg and
Bruno C. d. S. Oliveira},
title = {Interflow: interprocedural flow-sensitive type inference and method
duplication},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
pages = {61--71},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3241653.3241660},
doi = {10.1145/3241653.3241660},
timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/ShabalinO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/BiboudisKO18,
author = {Aggelos Biboudis and
Oleg Kiselyov and
Martin Odersky},
title = {Functional Stream Libraries and Fusion: What's Next {(NII} Shonan
Meeting 2018-14)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/136/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/BiboudisKO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PetrashkoLO17,
author = {Dmitry Petrashko and
Ondrej Lhot{\'{a}}k and
Martin Odersky},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Miniphases: compilation using modular and efficient tree transformations},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {201--216},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062346},
doi = {10.1145/3062341.3062346},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PetrashkoLO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-06056,
author = {Aleksandar Prokopec and
Phil Bagwell and
Martin Odersky},
title = {Cache-Aware Lock-Free Concurrent Hash Tries},
journal = {CoRR},
volume = {abs/1709.06056},
year = {2017},
url = {http://arxiv.org/abs/1709.06056},
eprinttype = {arXiv},
eprint = {1709.06056},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-06056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AminGORS16,
author = {Nada Amin and
Samuel Gr{\"{u}}tter and
Martin Odersky and
Tiark Rompf and
Sandro Stucki},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {The Essence of Dependent Object Types},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {249--272},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_14},
doi = {10.1007/978-3-319-30936-1\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AminGORS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PetrashkoULO16,
author = {Dmitry Petrashko and
Vlad Ureche and
Ondrej Lhot{\'{a}}k and
Martin Odersky},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Call graphs for languages with parametric polymorphism},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {394--409},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2983991},
doi = {10.1145/2983990.2983991},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PetrashkoULO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/OderskyMP16,
author = {Martin Odersky and
Guillaume Martres and
Dmitry Petrashko},
editor = {Aggelos Biboudis and
Manohar Jonnalagedda and
Sandro Stucki and
Vlad Ureche},
title = {Implementing higher-kinded types in Dotty},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} Symposium on Scala, SCALA@SPLASH
2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
pages = {51--60},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998392.2998400},
doi = {10.1145/2998392.2998400},
timestamp = {Tue, 06 Nov 2018 16:59:26 +0100},
biburl = {https://dblp.org/rec/conf/scala/OderskyMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/ProkopecO15,
author = {Aleksandar Prokopec and
Martin Odersky},
editor = {Xipeng Shen and
Frank Mueller and
James Tuck},
title = {Conc-Trees for Functional and Parallel Programming},
booktitle = {Languages and Compilers for Parallel Computing - 28th International
Workshop, {LCPC} 2015, Raleigh, NC, USA, September 9-11, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9519},
pages = {254--268},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29778-1\_16},
doi = {10.1007/978-3-319-29778-1\_16},
timestamp = {Tue, 23 Jan 2024 20:31:22 +0100},
biburl = {https://dblp.org/rec/conf/lcpc/ProkopecO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ProkopecO15,
author = {Aleksandar Prokopec and
Martin Odersky},
editor = {Gail C. Murphy and
Guy L. Steele Jr.},
title = {Isolates, channels, and event streams for composable distributed programming},
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},
pages = {171--182},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814228.2814245},
doi = {10.1145/2814228.2814245},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ProkopecO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/UrecheBSO15,
author = {Vlad Ureche and
Aggelos Biboudis and
Yannis Smaragdakis and
Martin Odersky},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Automating ad hoc data representation transformations},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {801--820},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814271},
doi = {10.1145/2814270.2814271},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/UrecheBSO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/ProkopecPO15,
author = {Aleksandar Prokopec and
Dmitry Petrashko and
Martin Odersky},
editor = {Masoud Daneshtalab and
Marco Aldinucci and
Ville Lepp{\"{a}}nen and
Johan Lilius and
Mats Brorsson},
title = {Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections},
booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
2015},
pages = {248--252},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/PDP.2015.65},
doi = {10.1109/PDP.2015.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/ProkopecPO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/UrecheSBSO15,
author = {Vlad Ureche and
Milos Stojanovic and
Romain B{\'{e}}guet and
Nicolas Stucki and
Martin Odersky},
editor = {Ryan Stansifer and
Andreas Krall},
title = {Improving the Interoperation between Generics Translations},
booktitle = {Proceedings of the Principles and Practices of Programming on The
Java Platform, {PPPJ} 2015, Melbourne, FL, USA, September 8-11, 2015},
pages = {113--124},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2807426.2807436},
doi = {10.1145/2807426.2807436},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pppj/UrecheSBSO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/OderskyR14,
author = {Martin Odersky and
Tiark Rompf},
title = {Unifying functional and object-oriented programming with Scala},
journal = {Commun. {ACM}},
volume = {57},
number = {4},
pages = {76--86},
year = {2014},
url = {https://doi.org/10.1145/2591013},
doi = {10.1145/2591013},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/OderskyR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SujeethBLRCOO14,
author = {Arvind K. Sujeeth and
Kevin J. Brown and
HyoukJoong Lee and
Tiark Rompf and
Hassan Chafi and
Martin Odersky and
Kunle Olukotun},
title = {Delite: {A} Compiler Architecture for Performance-Oriented Embedded
Domain-Specific Languages},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {13},
number = {4s},
pages = {134:1--134:25},
year = {2014},
url = {https://doi.org/10.1145/2584665},
doi = {10.1145/2584665},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SujeethBLRCOO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BastinUO14,
author = {C{\'{e}}dric Bastin and
Vlad Ureche and
Martin Odersky},
editor = {Philipp Haller and
Heather Miller},
title = {ScalaDyno: making name resolution and type checking fault-tolerant},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {1--5},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637649},
doi = {10.1145/2637647.2637649},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BastinUO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Odersky14,
author = {Martin Odersky},
editor = {Raoul{-}Gabriel Urma and
Dominic A. Orchard and
Alan Mycroft},
title = {The evolution of Scala: PLE'14 keynote},
booktitle = {Proceedings of the 1st Workshop on Programming Language Evolution,
PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014},
pages = {4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2717124.2717126},
doi = {10.1145/2717124.2717126},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Odersky14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ProkopecHO14,
author = {Aleksandar Prokopec and
Philipp Haller and
Martin Odersky},
editor = {Philipp Haller and
Heather Miller},
title = {Containers and aggregates, mutators and isolates for reactive programming},
booktitle = {Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014,
Uppsala, Sweden, July 28-29, 2014},
pages = {51--61},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637647.2637656},
doi = {10.1145/2637647.2637656},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ProkopecHO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MillerHO14,
author = {Heather Miller and
Philipp Haller and
Martin Odersky},
editor = {Richard E. Jones},
title = {Spores: {A} Type-Based Foundation for Closures in the Age of Concurrency
and Distribution},
booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8586},
pages = {308--333},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44202-9\_13},
doi = {10.1007/978-3-662-44202-9\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MillerHO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/GeorgeLNRBSOOI14,
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},
title = {Hardware system synthesis from Domain-Specific Languages},
booktitle = {24th International Conference on Field Programmable Logic and Applications,
{FPL} 2014, Munich, Germany, 2-4 September, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FPL.2014.6927454},
doi = {10.1109/FPL.2014.6927454},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/fpl/GeorgeLNRBSOOI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/JovanovicSSNKO14,
author = {Vojin Jovanovic and
Amir Shaikhha and
Sandro Stucki and
Vladimir Nikolaev and
Christoph Koch and
Martin Odersky},
editor = {Ulrik Pagh Schultz and
Matthew Flatt},
title = {Yin-yang: concealing the deep embedding of DSLs},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras,
Sweden, September 15-16, 2014},
pages = {73--82},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2658761.2658771},
doi = {10.1145/2658761.2658771},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/gpce/JovanovicSSNKO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MillerHRO14,
author = {Heather Miller and
Philipp Haller and
Lukas Rytz and
Martin Odersky},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Functional programming for all! scaling a {MOOC} for students and
professionals alike},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {256--263},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591062.2591161},
doi = {10.1145/2591062.2591161},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MillerHRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AminRO14,
author = {Nada Amin and
Tiark Rompf and
Martin Odersky},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Foundations of path-dependent types},
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},
pages = {233--249},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660216},
doi = {10.1145/2660193.2660216},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AminRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/UrecheBO14,
author = {Vlad Ureche and
Eugene Burmako and
Martin Odersky},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Late data layout: unifying data representation transformations},
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},
pages = {397--416},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660197},
doi = {10.1145/2660193.2660197},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/UrecheBO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JonnalageddaCSRO14,
author = {Manohar Jonnalagedda and
Thierry Coppey and
Sandro Stucki and
Tiark Rompf and
Martin Odersky},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Staged parser combinators for efficient data processing},
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},
pages = {637--653},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660241},
doi = {10.1145/2660193.2660241},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JonnalageddaCSRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RytzAO13,
author = {Lukas Rytz and
Nada Amin and
Martin Odersky},
editor = {Werner Dietl},
title = {A flow-insensitive, modular effect system for purity},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489808},
doi = {10.1145/2489804.2489808},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RytzAO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SujeethRBLCPWPJOO13,
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},
editor = {Giuseppe Castagna},
title = {Composition and Reuse with Compiled Domain-Specific Languages},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {52--78},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_3},
doi = {10.1007/978-3-642-39038-8\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SujeethRBLCPWPJOO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MaierO13,
author = {Ingo Maier and
Martin Odersky},
editor = {Giuseppe Castagna},
title = {Higher-Order Reactive Programming with Incremental Lists},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {707--731},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_29},
doi = {10.1007/978-3-642-39038-8\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MaierO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/GeorgeNROI13,
author = {Nithin George and
David Novo and
Tiark Rompf and
Martin Odersky and
Paolo Ienne},
title = {Making domain-specific hardware synthesis tools cost-efficient},
booktitle = {2013 International Conference on Field-Programmable Technology, {FPT}
2013, Kyoto, Japan, December 9-11, 2013},
pages = {120--127},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FPT.2013.6718341},
doi = {10.1109/FPT.2013.6718341},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fpt/GeorgeNROI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/OfenbeckRSOP13,
author = {Georg Ofenbeck and
Tiark Rompf and
Alen Stojanov and
Martin Odersky and
Markus P{\"{u}}schel},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Spiral in scala: towards the systematic construction of generators
for performance libraries},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {125--134},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517228},
doi = {10.1145/2517208.2517228},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/OfenbeckRSOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/SujeethGBLROO13,
author = {Arvind K. Sujeeth and
Austin Gibbons and
Kevin J. Brown and
HyoukJoong Lee and
Tiark Rompf and
Martin Odersky and
Kunle Olukotun},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Forge: generating a high performance {DSL} implementation from a declarative
specification},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {145--154},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517220},
doi = {10.1145/2517208.2517220},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/SujeethGBLROO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/ProkopecO13,
author = {Aleksandar Prokopec and
Martin Odersky},
editor = {Calin Cascaval and
Pablo Montesinos},
title = {Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel
Workloads},
booktitle = {Languages and Compilers for Parallel Computing - 26th International
Workshop, {LCPC} 2013, San Jose, CA, USA, September 25-27, 2013. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8664},
pages = {55--86},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-09967-5\_4},
doi = {10.1007/978-3-319-09967-5\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/ProkopecO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/UrecheTO13,
author = {Vlad Ureche and
Cristian Talau and
Martin Odersky},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Miniboxing: improving the speed to code size tradeoff in parametric
polymorphism translations},
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},
pages = {73--92},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509537},
doi = {10.1145/2509136.2509537},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/UrecheTO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MillerHBO13,
author = {Heather Miller and
Philipp Haller and
Eugene Burmako and
Martin Odersky},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Instant pickles: generating object-oriented pickler combinators for
fast and extensible serialization},
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},
pages = {183--202},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509547},
doi = {10.1145/2509136.2509547},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MillerHBO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RompfSABJLJOO13,
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},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Optimizing data structures in high-level programs: new directions
for extensible compilers based on staging},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {497--510},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429128},
doi = {10.1145/2429069.2429128},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RompfSABJLJOO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RompfO12,
author = {Tiark Rompf and
Martin Odersky},
title = {Lightweight modular staging: a pragmatic approach to runtime code
generation and compiled DSLs},
journal = {Commun. {ACM}},
volume = {55},
number = {6},
pages = {121--130},
year = {2012},
url = {https://doi.org/10.1145/2184319.2184345},
doi = {10.1145/2184319.2184345},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/RompfO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/RompfAMHO12,
author = {Tiark Rompf and
Nada Amin and
Adriaan Moors and
Philipp Haller and
Martin Odersky},
title = {Scala-Virtualized: linguistic reuse for deep embeddings},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {1},
pages = {165--207},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9096-9},
doi = {10.1007/S10990-013-9096-9},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/RompfAMHO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Odersky12,
author = {Martin Odersky},
editor = {James Noble},
title = {When Compilers Are Mirrors},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_1},
doi = {10.1007/978-3-642-31057-7\_1},
timestamp = {Fri, 27 Mar 2020 08:51:54 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Odersky12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RytzOH12,
author = {Lukas Rytz and
Martin Odersky and
Philipp Haller},
editor = {James Noble},
title = {Lightweight Polymorphic Effects},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {258--282},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_13},
doi = {10.1007/978-3-642-31057-7\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RytzOH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KossakowskiARO12,
author = {Grzegorz Kossakowski and
Nada Amin and
Tiark Rompf and
Martin Odersky},
editor = {James Noble},
title = {JavaScript as an Embedded {DSL}},
booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
Beijing, China, June 11-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7313},
pages = {409--434},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31057-7\_19},
doi = {10.1007/978-3-642-31057-7\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KossakowskiARO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/ProkopecMSHO12,
author = {Aleksandar Prokopec and
Heather Miller and
Tobias Schlatter and
Philipp Haller and
Martin Odersky},
editor = {Hironori Kasahara and
Keiji Kimura},
title = {FlowPools: {A} Lock-Free Deterministic Concurrent Dataflow Abstraction},
booktitle = {Languages and Compilers for Parallel Computing, 25th International
Workshop, {LCPC} 2012, Tokyo, Japan, September 11-13, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7760},
pages = {158--173},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37658-0\_11},
doi = {10.1007/978-3-642-37658-0\_11},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/ProkopecMSHO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/UrecheRSCO12,
author = {Vlad Ureche and
Tiark Rompf and
Arvind K. Sujeeth and
Hassan Chafi and
Martin Odersky},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {StagedSAC: a case study in performance-oriented {DSL} development},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {73--82},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103762},
doi = {10.1145/2103746.2103762},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/UrecheRSCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MoorsRHO12,
author = {Adriaan Moors and
Tiark Rompf and
Philipp Haller and
Martin Odersky},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Scala-virtualized},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {117--120},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103769},
doi = {10.1145/2103746.2103769},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MoorsRHO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/ProkopecBBO12,
author = {Aleksandar Prokopec and
Nathan Grasso Bronson and
Phil Bagwell and
Martin Odersky},
editor = {J. Ramanujam and
P. Sadayappan},
title = {Concurrent tries with efficient non-blocking snapshots},
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},
pages = {151--160},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2145816.2145836},
doi = {10.1145/2145816.2145836},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/ProkopecBBO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/LeeBSCROO11,
author = {HyoukJoong Lee and
Kevin J. Brown and
Arvind K. Sujeeth and
Hassan Chafi and
Tiark Rompf and
Martin Odersky and
Kunle Olukotun},
title = {Implementing Domain-Specific Languages for Heterogeneous Parallel
Computing},
journal = {{IEEE} Micro},
volume = {31},
number = {5},
pages = {42--53},
year = {2011},
url = {https://doi.org/10.1109/MM.2011.68},
doi = {10.1109/MM.2011.68},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/LeeBSCROO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/BrownSLRCOO11,
author = {Kevin J. Brown and
Arvind K. Sujeeth and
HyoukJoong Lee and
Tiark Rompf and
Hassan Chafi and
Martin Odersky and
Kunle Olukotun},
editor = {Lawrence Rauchwerger and
Vivek Sarkar},
title = {A Heterogeneous Parallel Framework for Domain-Specific Languages},
booktitle = {2011 International Conference on Parallel Architectures and Compilation
Techniques, {PACT} 2011, Galveston, TX, USA, October 10-14, 2011},
pages = {89--100},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PACT.2011.15},
doi = {10.1109/PACT.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEpact/BrownSLRCOO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/Odersky11,
author = {Martin Odersky},
editor = {Jens Knoop},
title = {Future-Proofing Collections: From Mutable to Persistent to Parallel},
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{\"{u}}cken, Germany, March
26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6601},
pages = {1},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19861-8\_1},
doi = {10.1007/978-3-642-19861-8\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/Odersky11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/ProkopecBRO11,
author = {Aleksandar Prokopec and
Phil Bagwell and
Tiark Rompf and
Martin Odersky},
editor = {Emmanuel Jeannot and
Raymond Namyst and
Jean Roman},
title = {A Generic Parallel Collection Framework},
booktitle = {Euro-Par 2011 Parallel Processing - 17th International Conference,
Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6853},
pages = {136--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23397-5\_14},
doi = {10.1007/978-3-642-23397-5\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/ProkopecBRO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SujeethLBRCWAOO11,
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},
editor = {Lise Getoor and
Tobias Scheffer},
title = {OptiML: An Implicitly Parallel Domain-Specific Language for Machine
Learning},
booktitle = {Proceedings of the 28th International Conference on Machine Learning,
{ICML} 2011, Bellevue, Washington, USA, June 28 - July 2, 2011},
pages = {609--616},
publisher = {Omnipress},
year = {2011},
url = {https://icml.cc/2011/papers/373\_icmlpaper.pdf},
timestamp = {Wed, 03 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/SujeethLBRCWAOO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/ProkopecBO11,
author = {Aleksandar Prokopec and
Phil Bagwell and
Martin Odersky},
editor = {Sanjay V. Rajopadhye and
Michelle Mills Strout},
title = {Lock-Free Resizeable Concurrent Tries},
booktitle = {Languages and Compilers for Parallel Computing, 24th International
Workshop, {LCPC} 2011, Fort Collins, CO, USA, September 8-10, 2011.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7146},
pages = {156--170},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-36036-7\_11},
doi = {10.1007/978-3-642-36036-7\_11},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/ProkopecBO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0778,
author = {Tiark Rompf and
Arvind K. Sujeeth and
HyoukJoong Lee and
Kevin J. Brown and
Hassan Chafi and
Martin Odersky and
Kunle Olukotun},
editor = {Olivier Danvy and
Chung{-}chieh Shan},
title = {Building-Blocks for Performance Oriented DSLs},
booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
{DSL} 2011, Bordeaux, France, 6-8th September 2011},
series = {{EPTCS}},
volume = {66},
pages = {93--117},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.66.5},
doi = {10.4204/EPTCS.66.5},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HallerO10,
author = {Philipp Haller and
Martin Odersky},
editor = {Theo D'Hondt},
title = {Capabilities for Uniqueness and Borrowing},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {354--378},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_17},
doi = {10.1007/978-3-642-14107-2\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HallerO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/RompfO10,
author = {Tiark Rompf and
Martin Odersky},
editor = {Eelco Visser and
Jaakko J{\"{a}}rvi},
title = {Lightweight modular staging: a pragmatic approach to runtime code
generation and compiled DSLs},
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},
pages = {127--136},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868294.1868314},
doi = {10.1145/1868294.1868314},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/RompfO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OliveiraMO10,
author = {Bruno C. d. S. Oliveira and
Adriaan Moors and
Martin Odersky},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Type classes as objects and implicits},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {341--360},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869489},
doi = {10.1145/1869459.1869489},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OliveiraMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChafiDMRSHOO10,
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},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Language virtualization for heterogeneous parallel computing},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {835--847},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869527},
doi = {10.1145/1869459.1869527},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChafiDMRSHOO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Odersky10,
author = {Martin Odersky},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Contracts for Scala},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {51--57},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_5},
doi = {10.1007/978-3-642-16612-9\_5},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/Odersky10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RytzO10,
author = {Lukas Rytz and
Martin Odersky},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Named and default arguments for polymorphic object-oriented languages:
a discussion on the design implemented in the Scala language},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2090--2095},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774529},
doi = {10.1145/1774088.1774529},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/RytzO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HallerO09,
author = {Philipp Haller and
Martin Odersky},
title = {Scala Actors: Unifying thread-based and event-based programming},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {2-3},
pages = {202--220},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.019},
doi = {10.1016/J.TCS.2008.09.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HallerO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DubochetO09,
author = {Gilles Dubochet and
Martin Odersky},
editor = {Ian Rogers},
title = {Compiling structural types on the {JVM:} a comparison of reflective
and generative techniques from Scala's perspective},
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},
pages = {34--41},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1565824.1565829},
doi = {10.1145/1565824.1565829},
timestamp = {Fri, 25 Dec 2020 01:14:59 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DubochetO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DragosO09,
author = {Iulian Dragos and
Martin Odersky},
editor = {Ian Rogers},
title = {Compiling generics through user-directed type specialization},
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},
pages = {42--47},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1565824.1565830},
doi = {10.1145/1565824.1565830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/DragosO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/OderskyM09,
author = {Martin Odersky and
Adriaan Moors},
editor = {Ravi Kannan and
K. Narayan Kumar},
title = {Fighting bit Rot with Types (Experience Report: Scala Collections)},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2009, December 15-17, 2009,
{IIT} Kanpur, India},
series = {LIPIcs},
volume = {4},
pages = {427--451},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2338},
doi = {10.4230/LIPICS.FSTTCS.2009.2338},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/OderskyM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RompfMO09,
author = {Tiark Rompf and
Ingo Maier and
Martin Odersky},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Implementing first-class polymorphic delimited continuations by a
type-directed selective CPS-transform},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {317--328},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596596},
doi = {10.1145/1596550.1596596},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/RompfMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/Odersky09,
author = {Martin Odersky},
editor = {Bernard Carr{\'{e}} and
Olivier Zendra},
title = {Essentials of Scala},
booktitle = {Langages et Mod{\`{e}}les {\`{a}} Objets, {LMO} 2009, Nancy, France,
25-27 mars 2009},
series = {{RNTI}},
volume = {{L-3}},
pages = {2},
publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
year = {2009},
url = {http://editions-rnti.fr/?inprocid=1000751},
timestamp = {Fri, 25 Apr 2014 17:33:28 +0200},
biburl = {https://dblp.org/rec/conf/lmo/Odersky09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/PradelO08,
author = {Michael Pradel and
Martin Odersky},
editor = {Jos{\'{e}} Cordeiro and
Boris Shishkov and
Alpesh Ranchordas and
Markus Helfert},
title = {Scala Roles - {A} Lightweight Approach Towards Reusable Collaborations},
booktitle = {{ICSOFT} 2008 - Proceedings of the Third International Conference
on Software and Data Technologies, Volume PL/DPS/KE, Porto, Portugal,
July 5-8, 2008},
pages = {13--20},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Tue, 03 Mar 2009 14:48:01 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/PradelO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/PradelO08a,
author = {Michael Pradel and
Martin Odersky},
editor = {Jos{\'{e}} Cordeiro and
Boris Shishkov and
Alpesh Ranchordas and
Markus Helfert},
title = {Scala Roles: Reusable Object Collaborations in a Library},
booktitle = {Software and Data Technologies - Third International Conference, {ICSOFT}
2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {47},
pages = {23--36},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-05201-9\_3},
doi = {10.1007/978-3-642-05201-9\_3},
timestamp = {Wed, 25 Sep 2019 18:17:44 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/PradelO08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MoorsPO08,
author = {Adriaan Moors and
Frank Piessens and
Martin Odersky},
editor = {Gail E. Harris},
title = {Generics of a higher kind},
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}},
pages = {423--438},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449798},
doi = {10.1145/1449764.1449798},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MoorsPO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/EmirMO07,
author = {Burak Emir and
Qin Ma and
Martin Odersky},
editor = {Zhong Shao},
title = {Translation Correctness for First-Order Object-Oriented Pattern Matching},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {54--70},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_5},
doi = {10.1007/978-3-540-76637-7\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/EmirMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/HallerO07,
author = {Philipp Haller and
Martin Odersky},
editor = {Amy L. Murphy and
Jan Vitek},
title = {Actors That Unify Threads and Events},
booktitle = {Coordination Models and Languages, 9th International Conference, {COORDINATION}
2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4467},
pages = {171--190},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72794-1\_10},
doi = {10.1007/978-3-540-72794-1\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/HallerO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/EmirOW07,
author = {Burak Emir and
Martin Odersky and
John Williams},
editor = {Erik Ernst},
title = {Matching Objects with Patterns},
booktitle = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference,
Berlin, Germany, July 30 - August 3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4609},
pages = {273--298},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73589-2\_14},
doi = {10.1007/978-3-540-73589-2\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/EmirOW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2007,
editor = {Shriram Krishnamurthi and
Martin Odersky},
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},
series = {Lecture Notes in Computer Science},
volume = {4420},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71229-9},
doi = {10.1007/978-3-540-71229-9},
isbn = {978-3-540-71228-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dics/EmirMO06,
author = {Burak Emir and
Sebastian Maneth and
Martin Odersky},
editor = {J{\"{u}}rg Kohlas and
Bertrand Meyer and
Andr{\'{e}} Schiper},
title = {Scalable Programming Abstractions for {XML} Services},
booktitle = {Dependable Systems: Software, Computing, Networks, Research Results
of the {DICS} Program},
series = {Lecture Notes in Computer Science},
volume = {4028},
pages = {103--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11808107\_5},
doi = {10.1007/11808107\_5},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dics/EmirMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jmlc/HallerO06,
author = {Philipp Haller and
Martin Odersky},
editor = {David E. Lightfoot and
Clemens A. Szyperski},
title = {Event-Based Programming Without Inversion of Control},
booktitle = {Modular Programming Languages, 7th Joint Modular Languages Conference,
{JMLC} 2006, Oxford, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4228},
pages = {4--22},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11860990\_2},
doi = {10.1007/11860990\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jmlc/HallerO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CremetGLO06,
author = {Vincent Cremet and
Fran{\c{c}}ois Garillot and
Sergue{\"{\i}} Lenglet and
Martin Odersky},
editor = {Rastislav Kralovic and
Pawel Urzyczyn},
title = {A Core Calculus for Scala Type Checking},
booktitle = {Mathematical Foundations of Computer Science 2006, 31st International
Symposium, {MFCS} 2006, Star{\'{a}} Lesn{\'{a}}, Slovakia,
August 28-September 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4162},
pages = {1--23},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11821069\_1},
doi = {10.1007/11821069\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CremetGLO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Odersky06,
author = {Martin Odersky},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {The Scala experiment: can we provide better language support for component
systems?},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {166--167},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111052},
doi = {10.1145/1111037.1111052},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/Odersky06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OderskyZ05,
author = {Martin Odersky and
Matthias Zenger},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Scalable component abstractions},
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}},
pages = {41--57},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094815},
doi = {10.1145/1094811.1094815},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OderskyZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/OderskyP04,
author = {Martin Odersky and
Benjamin C. Pierce},
title = {Guest editorial},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {26},
number = {5},
pages = {767--768},
year = {2004},
url = {https://doi.org/10.1145/1018203.1018204},
doi = {10.1145/1018203.1018204},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/OderskyP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Odersky04,
author = {Martin Odersky},
editor = {Wei{-}Ngan Chin},
title = {The Scala Experiment - Can We Provide Better Language Support for
Component Systems?},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {364},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_24},
doi = {10.1007/978-3-540-30477-7\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Odersky04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2003dspg,
editor = {Christian Lengauer and
Don S. Batory and
Charles Consel and
Martin Odersky},
title = {Domain-Specific Program Generation, International Seminar, Dagstuhl
Castle, Germany, March 23-28, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3016},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98156},
doi = {10.1007/B98156},
isbn = {3-540-22119-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2003dspg.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2004,
editor = {Martin Odersky},
title = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98195},
doi = {10.1007/B98195},
isbn = {3-540-22159-X},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CremetO03,
author = {Vincent Cremet and
Martin Odersky},
editor = {Christian Lengauer and
Don S. Batory and
Charles Consel and
Martin Odersky},
title = {PiLib: {A} Hosted Language for Pi-Calculus Style Concurrency},
booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl
Castle, Germany, March 23-28, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3016},
pages = {180--195},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25935-0\_11},
doi = {10.1007/978-3-540-25935-0\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CremetO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OderskyCRZ03,
author = {Martin Odersky and
Vincent Cremet and
Christine R{\"{o}}ckl and
Matthias Zenger},
editor = {Luca Cardelli},
title = {A Nominal Theory of Objects with Dependent Types},
booktitle = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference,
Darmstadt, Germany, July 21-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2743},
pages = {201--224},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45070-2\_10},
doi = {10.1007/978-3-540-45070-2\_10},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/OderskyCRZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BlackCGO03,
author = {Andrew P. Black and
Vincent Cremet and
Rachid Guerraoui and
Martin Odersky},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {An Equational Theory for Transactions},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {38--49},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_4},
doi = {10.1007/978-3-540-24597-1\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BlackCGO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZengerO01,
author = {Matthias Zenger and
Martin Odersky},
editor = {Benjamin C. Pierce},
title = {Extensible Algebraic Datatypes with Defaults},
booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
September 3-5, 2001},
pages = {241--252},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/507635.507665},
doi = {10.1145/507635.507665},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ZengerO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OderskyZZ01,
author = {Martin Odersky and
Christoph Zenger and
Matthias Zenger},
editor = {Chris Hankin and
Dave Schmidt},
title = {Colored local type inference},
booktitle = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, London, UK, January
17-19, 2001},
pages = {41--53},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/360204.360207},
doi = {10.1145/360204.360207},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/OderskyZZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/SchinzO01,
author = {Michel Schinz and
Martin Odersky},
editor = {Nick Benton and
Andrew Kennedy},
title = {Tail call elimination on the Java Virtual Machine},
booktitle = {First International Workshop on Multi-Language Infrastructure and
Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze,
Italy, September 8, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {1},
pages = {158--171},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80459-1},
doi = {10.1016/S1571-0661(05)80459-1},
timestamp = {Thu, 01 Dec 2022 16:26:14 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SchinzO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Odersky00,
author = {Martin Odersky},
editor = {Gilles Barthe and
Peter Dybjer and
Lu{\'{\i}}s Pinto and
Jo{\~{a}}o Saraiva},
title = {An Introduction to Functional Nets},
booktitle = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha,
Portugal, September 9-15, 2000, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2395},
pages = {333--377},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45699-6\_7},
doi = {10.1007/3-540-45699-6\_7},
timestamp = {Fri, 17 Jul 2020 11:39:04 +0200},
biburl = {https://dblp.org/rec/conf/ac/Odersky00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Odersky00,
author = {Martin Odersky},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Objects + Views = Components?},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {50--68},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_5},
doi = {10.1007/3-540-44518-8\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Odersky00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Odersky00,
author = {Martin Odersky},
editor = {L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
J{\"{u}}rg Gutknecht and
Gustav Pomberger},
title = {Programming with Functional Nets},
booktitle = {The School of Niklaus Wirth, "The Art of Simplicity"},
pages = {173--202},
publisher = {dpunkt.verlag/Copublication with Morgan-Kaufmann},
year = {2000},
timestamp = {Thu, 03 Jan 2002 11:54:05 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Odersky00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Odersky00,
author = {Martin Odersky},
editor = {Gert Smolka},
title = {Functional Nets},
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},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {1--25},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_1},
doi = {10.1007/3-540-46425-5\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Odersky00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2000,
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8},
doi = {10.1007/3-540-44518-8},
isbn = {3-540-67959-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2000,
editor = {Martin Odersky and
Philip Wadler},
title = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '00), Montreal, Canada, September
18-21, 2000},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/351240},
doi = {10.1145/351240},
isbn = {1-58113-202-6},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/OderskySW99,
author = {Martin Odersky and
Martin Sulzmann and
Martin Wehr},
title = {Type Inference with Constrained Types},
journal = {Theory Pract. Object Syst.},
volume = {5},
number = {1},
pages = {35--55},
year = {1999},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/OderskySW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MaraistOTW99,
author = {John Maraist and
Martin Odersky and
David N. Turner and
Philip Wadler},
title = {Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus},
journal = {Theor. Comput. Sci.},
volume = {228},
number = {1-2},
pages = {175--210},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00358-2},
doi = {10.1016/S0304-3975(98)00358-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MaraistOTW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MaraistOW98,
author = {John Maraist and
Martin Odersky and
Philip Wadler},
title = {The Call-by-Need Lambda Calculus},
journal = {J. Funct. Program.},
volume = {8},
number = {3},
pages = {275--317},
year = {1998},
url = {https://doi.org/10.1017/s0956796898003037},
doi = {10.1017/S0956796898003037},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MaraistOW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/OderskyRW98,
author = {Martin Odersky and
Enno Runne and
Philip Wadler},
editor = {Mehdi Jazayeri and
R{\"{u}}diger Loos and
David R. Musser},
title = {Two Ways to Bake Your Pizza - Translating Parameterised Types into
Java},
booktitle = {Generic Programming, International Seminar on Generic Programming,
Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1766},
pages = {114--132},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-39953-4\_10},
doi = {10.1007/3-540-39953-4\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/OderskyRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BruceOW98,
author = {Kim B. Bruce and
Martin Odersky and
Philip Wadler},
editor = {Eric Jul},
title = {A Statically Safe Alternative to Virtual Types},
booktitle = {ECOOP'98 - Object-Oriented Programming, 12th European Conference,
Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1445},
pages = {523--549},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054106},
doi = {10.1007/BFB0054106},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BruceOW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Odersky98,
author = {Martin Odersky},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Programming with Variable Functions},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {105--116},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289433},
doi = {10.1145/289423.289433},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Odersky98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/OderskyW98,
author = {Martin Odersky and
Philip Wadler},
editor = {Premkumar T. Devanbu and
Jeffrey S. Poulin},
title = {Leftover curry and reheated Pizza: how functional programming nourishes
software reuse},
booktitle = {Proceedings of the Fifth International Conference on Software Reuse,
{ICSR} 1998, Victoria, BC, Canada, June 2-5, 1998},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICSR.1998.685724},
doi = {10.1109/ICSR.1998.685724},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/OderskyW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BrachaOSW98,
author = {Gilad Bracha and
Martin Odersky and
David Stoutamire and
Philip Wadler},
editor = {Bj{\o}rn N. Freeman{-}Benson and
Craig Chambers},
title = {Making the Future Safe for the Past: Adding Genericity to the Java
Programming Language},
booktitle = {Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1998,
Vancouver, British Columbia, Canada, October 18-22, 1998},
pages = {183--200},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286936.286957},
doi = {10.1145/286936.286957},
timestamp = {Wed, 30 Mar 2022 13:58:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BrachaOSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Odersky97,
author = {Martin Odersky},
title = {Challenges in Type Systems Research},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {1},
pages = {92--93},
year = {1997},
url = {https://doi.org/10.1145/251595.251607},
doi = {10.1145/251595.251607},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Odersky97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarriottO97,
author = {Kim Marriott and
Martin Odersky},
title = {A Confluent Calculus for Concurrent Constraint Programming},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {1},
pages = {209--233},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00196-X},
doi = {10.1016/S0304-3975(96)00196-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarriottO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OderskyW97,
author = {Martin Odersky and
Philip Wadler},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Pizza into Java: Translating Theory into Practice},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {146--159},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263715},
doi = {10.1145/263699.263715},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/OderskyW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Odersky96,
author = {Martin Odersky},
title = {Challenges in Type Systems Research},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {169},
year = {1996},
url = {https://doi.org/10.1145/242224.242442},
doi = {10.1145/242224.242442},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Odersky96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarriottO96,
author = {Kim Marriott and
Martin Odersky},
title = {Negative Boolean Constraints},
journal = {Theor. Comput. Sci.},
volume = {160},
number = {1{\&}2},
pages = {365--380},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00209-X},
doi = {10.1016/0304-3975(95)00209-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarriottO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OderskyL96,
author = {Martin Odersky and
Konstantin L{\"{a}}ufer},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {Putting Type Annotations to Work},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {54--67},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237729},
doi = {10.1145/237721.237729},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/OderskyL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HelmMO95,
author = {Richard Helm and
Kim Marriott and
Martin Odersky},
title = {Spatial Query Optimization: From Boolean Constraints to Range Queries},
journal = {J. Comput. Syst. Sci.},
volume = {51},
number = {2},
pages = {197--210},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1061},
doi = {10.1006/JCSS.1995.1061},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HelmMO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MasonO95,
author = {Ian A. Mason and
Martin Odersky},
title = {Special Issue on State in Programming Languages - Introduction},
journal = {{LISP} Symb. Comput.},
volume = {8},
number = {4},
pages = {291--292},
year = {1995},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/MasonO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MarriottO95,
author = {Kim Marriott and
Martin Odersky},
editor = {Ugo Montanari and
Francesca Rossi},
title = {A Confluent Calculus for Concurrent Constraint Programming with Guarded
Choice},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {310--327},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_19},
doi = {10.1007/3-540-60299-2\_19},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/MarriottO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/OderskyWW95,
author = {Martin Odersky and
Philip Wadler and
Martin Wehr},
editor = {John Williams},
title = {A Second Look at Overloading},
booktitle = {Proceedings of the seventh international conference on Functional
programming languages and computer architecture, {FPCA} 1995, La Jolla,
California, USA, June 25-28, 1995},
pages = {135--146},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224164.224195},
doi = {10.1145/224164.224195},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/OderskyWW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Odersky95,
author = {Martin Odersky},
editor = {P. S. Thiagarajan},
title = {Polarized Name Passing},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1026},
pages = {324--337},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60692-0\_58},
doi = {10.1007/3-540-60692-0\_58},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Odersky95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AriolaFMOW95,
author = {Zena M. Ariola and
Matthias Felleisen and
John Maraist and
Martin Odersky and
Philip Wadler},
editor = {Ron K. Cytron and
Peter Lee},
title = {The Call-by-Need Lambda Calculus},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {233--246},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199507},
doi = {10.1145/199448.199507},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AriolaFMOW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaraistOTW95,
author = {John Maraist and
Martin Odersky and
David N. Turner and
Philip Wadler},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove},
title = {Call-by-name, call-by-value, call-by-need and the linear lambda calculus},
booktitle = {Eleventh Annual Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 1995, Tulane University, New Orleans, LA, USA, March
29 - April 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {370--392},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(04)00022-2},
doi = {10.1016/S1571-0661(04)00022-2},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaraistOTW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LauferO94,
author = {Konstantin L{\"{a}}ufer and
Martin Odersky},
title = {Polymorphic Type Inference and Abstract Data Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1411--1430},
year = {1994},
url = {https://doi.org/10.1145/186025.186031},
doi = {10.1145/186025.186031},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LauferO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Odersky94,
author = {Martin Odersky},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {A Functional Theory of Local Names},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {48--59},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.175187},
doi = {10.1145/174675.175187},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Odersky94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/ChenO94,
author = {Kung Chen and
Martin Odersky},
editor = {Masami Hagiya and
John C. Mitchell},
title = {A Type System for a Lambda Calculus with Assignments},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {347--364},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_103},
doi = {10.1007/3-540-57887-0\_103},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/ChenO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Odersky93,
author = {Martin Odersky},
title = {Defining Context-Dependent Syntax Without Using Contexts},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {15},
number = {3},
pages = {535--562},
year = {1993},
url = {https://doi.org/10.1145/169683.174159},
doi = {10.1145/169683.174159},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Odersky93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OderskyRH93,
author = {Martin Odersky and
Dan Rabin and
Paul Hudak},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Call by Name, Assignment, and the Lambda Calculus},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {43--56},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158521},
doi = {10.1145/158511.158521},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/OderskyRH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Odersky92,
author = {Martin Odersky},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {Observers for Linear Types},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {390--407},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_23},
doi = {10.1007/3-540-55253-7\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Odersky92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ChenHO92,
author = {Kung Chen and
Paul Hudak and
Martin Odersky},
editor = {Jon L. White},
title = {Parametric Type Classes},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {170--181},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141536},
doi = {10.1145/141471.141536},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ChenHO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/HelmMO91,
author = {Richard Helm and
Kim Marruitt and
Martin Odersky},
editor = {Scott P. Robertson and
Gary M. Olson and
Judith S. Olson},
title = {Building visual language parsers},
booktitle = {Conference on Human Factors in Computing Systems, {CHI} 1991, New
Orleans, LA, USA, April 27 - May 2, 1991, Proceedings},
pages = {105--112},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/108844.108860},
doi = {10.1145/108844.108860},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/HelmMO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/phoenix/LauferO91,
author = {Konstantin L{\"{a}}ufer and
Martin Odersky},
editor = {John Darlington and
Roland Dietrich},
title = {Type Classes are Signatures of Abstract Types},
booktitle = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
Workshop on Declarative Programming, Sasbachwalden, Black Forest,
Germany, 18-22 November 1991},
series = {Workshops in Computing},
pages = {148--162},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3794-8\_10},
doi = {10.1007/978-1-4471-3794-8\_10},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/phoenix/LauferO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HelmMO91,
author = {Richard Helm and
Kim Marriott and
Martin Odersky},
editor = {Daniel J. Rosenkrantz},
title = {Constraint-Based Query Optimization for Spatial Databases},
booktitle = {Proceedings of the Tenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, May 29-31, 1991, Denver, Colorado,
{USA}},
pages = {181--191},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/113413.113429},
doi = {10.1145/113413.113429},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/HelmMO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Odersky91,
author = {Martin Odersky},
editor = {David S. Wise},
title = {How to Make Destructive Updates Less Destructive},
booktitle = {Conference Record of the Eighteenth Annual {ACM} Symposium on Principles
of Programming Languages, Orlando, Florida, USA, January 21-23, 1991},
pages = {25--36},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/99583.99590},
doi = {10.1145/99583.99590},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Odersky91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/Odersky90,
author = {Martin Odersky},
title = {Extending {MODULA-2} for object-oriented programming},
journal = {Microprocess. Microsystems},
volume = {14},
number = {3},
pages = {153--159},
year = {1990},
url = {https://doi.org/10.1016/0141-9331(90)90066-5},
doi = {10.1016/0141-9331(90)90066-5},
timestamp = {Tue, 25 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/Odersky90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Odersky89,
author = {Martin Odersky},
title = {A new approach to formal language definition and its application to
Oberon},
school = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
year = {1989},
url = {https://d-nb.info/947515011},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Odersky89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Odersky89,
author = {Martin Odersky},
title = {{MINOS:} {A} New Approach to the Design of an Input/Output Library
for Modula-2},
journal = {Struct. Program.},
volume = {10},
number = {2},
pages = {89--105},
year = {1989},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stp/Odersky89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/Odersky87,
author = {Martin Odersky},
title = {Einfache und effiziente inkrementelle Syntaxanalyse},
journal = {Inform. Forsch. Entwickl.},
volume = {2},
number = {2},
pages = {73--82},
year = {1987},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/Odersky87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-12 22:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
