publications: - title: "Scalable Programming Abstractions for XML Services" author: - name: "Burak Emir" link: "https://researchr.org/alias/burak-emir" - name: "Sebastian Maneth" link: "https://researchr.org/alias/sebastian-maneth" - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" year: "2006" doi: "http://dx.doi.org/10.1007/11808107_5" links: doi: "http://dx.doi.org/10.1007/11808107_5" tags: - "Scala" - "XML" - "XML Schema" - "programming" - "abstraction" researchr: "https://researchr.org/publication/EmirMO06" cites: 0 citedby: 0 pages: "103-126" booktitle: "Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program" editor: - name: "Jürg Kohlas" link: "https://researchr.org/alias/j%C3%BCrg-kohlas" - name: "Bertrand Meyer" link: "http://se.ethz.ch/~meyer/" - name: "André Schiper" link: "https://researchr.org/alias/andr%C3%A9-schiper" volume: "4028" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-36821-3" kind: "inproceedings" key: "EmirMO06" - title: "Generics of a higher kind" author: - name: "Adriaan Moors" link: "http://www.google.com" - name: "Frank Piessens" link: "https://researchr.org/alias/frank-piessens" - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" year: "2008" doi: "http://doi.acm.org/10.1145/1449764.1449798" links: doi: "http://doi.acm.org/10.1145/1449764.1449798" tags: - "Scala" researchr: "https://researchr.org/publication/MoorsPO08" cites: 0 citedby: 0 pages: "423-438" booktitle: "Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA" editor: - name: "Gail E. Harris" link: "https://researchr.org/alias/gail-e.-harris" publisher: "ACM" isbn: "978-1-60558-215-3" kind: "inproceedings" key: "MoorsPO08" - title: "Scalable component abstractions" author: - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" - name: "Matthias Zenger" link: "https://researchr.org/alias/matthias-zenger" year: "2005" doi: "http://doi.acm.org/10.1145/1094811.1094815" links: doi: "http://doi.acm.org/10.1145/1094811.1094815" tags: - "Scala" - "abstraction" researchr: "https://researchr.org/publication/OderskyZ05" cites: 0 citedby: 0 pages: "41-57" booktitle: "Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA" editor: - name: "Ralph E. Johnson" link: "http://st-www.cs.illinois.edu/users/johnson/" - name: "Richard P. Gabriel" link: "http://www.dreamsongs.com/RPG.html" publisher: "ACM" isbn: "1-59593-031-0" kind: "inproceedings" key: "OderskyZ05" - title: "A Core Calculus for Scala Type Checking" author: - name: "Vincent Cremet" link: "https://researchr.org/alias/vincent-cremet" - name: "François Garillot" link: "https://researchr.org/alias/fran%C3%A7ois-garillot" - name: "Sergueï Lenglet" link: "https://researchr.org/alias/sergue%C3%AF-lenglet" - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" year: "2006" doi: "http://dx.doi.org/10.1007/11821069_1" links: doi: "http://dx.doi.org/10.1007/11821069_1" tags: - "Scala" - "type checking" researchr: "https://researchr.org/publication/CremetGLO06" cites: 0 citedby: 0 pages: "1-23" booktitle: "Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings" editor: - name: "Rastislav Kralovic" link: "https://researchr.org/alias/rastislav-kralovic" - name: "Pawel Urzyczyn" link: "https://researchr.org/alias/pawel-urzyczyn" volume: "4162" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37791-3" kind: "inproceedings" key: "CremetGLO06" - title: "Actors That Unify Threads and Events" author: - name: "Philipp Haller" link: "https://researchr.org/alias/philipp-haller" - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-72794-1_10" links: doi: "http://dx.doi.org/10.1007/978-3-540-72794-1_10" tags: - "Scala" researchr: "https://researchr.org/publication/HallerO07" cites: 0 citedby: 0 pages: "171-190" booktitle: "Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings" editor: - name: "Amy L. Murphy" link: "https://researchr.org/alias/amy-l.-murphy" - name: "Jan Vitek" link: "http://www.cs.purdue.edu/homes/jv" volume: "4467" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-72793-4" kind: "inproceedings" key: "HallerO07" - title: "ScalaQL: Language-Integrated Database Queries for Scala" author: - name: "Daniel Spiewak" link: "http://www.cs.uwm.edu/~dspiewak/" - name: "Tian Zhao" link: "http://jiangxi.cs.uwm.edu/" year: "2009" abstract: "One of the most ubiquitous elements of modern computing is the relational database. Very few modern applications are created without some sort of database backend. Unfortunately, relational database concepts are fundamentally very different from those used in general-purpose programming languages. This creates an impedance mismatch between the the application and the database layers. One solution to this problem which has been gaining traction in the .NET family of languages is Language-Integrated Queries (LINQ). That is, the embedding of database queries within application code in a way that is statically checked and type safe. Unfortunately, certain language changes or core design elements were necessary to make this embedding possible. We present a framework which implements this concept of type safe embedded queries in Scala without any modifications to the language itself. The entire framework is implemented by leveraging existing language features (particularly for-comprehensions)." tags: - "programming languages" - "program comprehension" - "Scala" - "application framework" - "relational database" - "language design" - "programming" - "database" - "design" - "query language" researchr: "https://researchr.org/publication/Spiewak%3A2009" cites: 0 citedby: 0 booktitle: "Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers" editor: - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Dragan Gasevic" link: "http://www.sfu.ca/~dgasevic/" - name: "Jeffrey G. Gray" link: "http://www.gray-area.org/" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "inproceedings" key: "Spiewak:2009" - title: "Scala Actors: Unifying thread-based and event-based programming" author: - name: "Philipp Haller" link: "https://researchr.org/alias/philipp-haller" - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" year: "2009" doi: "http://dx.doi.org/10.1016/j.tcs.2008.09.019" links: doi: "http://dx.doi.org/10.1016/j.tcs.2008.09.019" tags: - "rule-based" - "Scala" - "programming" researchr: "https://researchr.org/publication/HallerO09" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "410" number: "2-3" pages: "202-220" kind: "article" key: "HallerO09" - title: "Translation Correctness for First-Order Object-Oriented Pattern Matching" author: - name: "Burak Emir" link: "https://researchr.org/alias/burak-emir" - name: "Qin Ma" link: "https://researchr.org/alias/qin-ma" - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-76637-7_5" links: doi: "http://dx.doi.org/10.1007/978-3-540-76637-7_5" tags: - "Scala" - "translation" - "pattern matching" researchr: "https://researchr.org/publication/EmirMO07" cites: 0 citedby: 0 pages: "54-70" booktitle: "Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings" editor: - name: "Zhong Shao" link: "https://researchr.org/alias/zhong-shao" volume: "4807" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-76636-0" kind: "inproceedings" key: "EmirMO07" - title: "Scala Roles - A Lightweight Approach Towards Reusable Collaborations" author: - name: "Michael Pradel" link: "https://researchr.org/alias/michael-pradel" - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" year: "2008" tags: - "Scala" - "reuse" - "systematic-approach" researchr: "https://researchr.org/publication/PradelO08" cites: 0 citedby: 0 pages: "13-20" booktitle: "ICSOFT 2008 - Proceedings of the Third International Conference on Software and Data Technologies, Volume PL/DPS/KE, Porto, Portugal, July 5-8, 2008" editor: - name: "José Cordeiro" link: "https://researchr.org/alias/jos%C3%A9-cordeiro" - name: "Boris Shishkov" link: "https://researchr.org/alias/boris-shishkov" - name: "Alpesh Ranchordas" link: "https://researchr.org/alias/alpesh-ranchordas" - name: "Markus Helfert" link: "https://researchr.org/alias/markus-helfert" publisher: "INSTICC Press" isbn: "978-989-8111-51-7" kind: "inproceedings" key: "PradelO08" - title: "The Scala Experiment - Can We Provide Better Language Support for Component Systems?" author: - name: "Martin Odersky" link: "http://lampwww.epfl.ch/~odersky/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=364" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=364" tags: - "Scala" researchr: "https://researchr.org/publication/Odersky04" cites: 0 citedby: 0 pages: "364" booktitle: "Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings" editor: - name: "Wei-Ngan Chin" link: "https://researchr.org/alias/wei-ngan-chin" volume: "3302" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23724-0" kind: "inproceedings" key: "Odersky04"