Scala rests on a strong theoretical foundation, as well as on practical experience. You can find below a collection of papers, theses, presentations, and other research resources related to the Scala language and to its development.
Just click on the links below to jump to the corresponding section.
If you would like to have your publications or presentation included, please just let us know [7].
Grants |
||
 [9] |
Domain Optimized Parallelization using Polymorphic Language Embeddings and Rewritings (DOPPLER) |
|
Papers |
||
 [15] |
[16] |
Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs by Tiark Rompf [17] and Martin Odersky [10], EPFL [12] GPCE 2010 [18], Eindhoven, The Netherlands, October 2010 |
| [19] |
[20] |
Language Virtualization for Heterogeneous Parallel Computing by Hassan Chafi [8], Stanford [14], Zach DeVito [8], Stanford [14], Adriaan Moors [21], EPFL [12], Tiark Rompf [17], EPFL [12], Arvind K. Sujeeth [8], Stanford [14], Pat Hanrahan [22], Stanford [14], Martin Odersky [10], EPFL [12] and Kunle Olukotun [23], Stanford [14] Onward! 2010 [24], Reno/Tahoe, Nevada, USA, October 2010 |
| [25] |
[26] |
Capabilities for Uniqueness and Borrowing by Philipp Haller [27] and Martin Odersky [10], EPFL [12] ECOOP 2010 [28], Maribor, Slovenia, June 2010 |
 [29] |
[30] |
Lightweight language support for type-based, concurrent event processing by Philipp Haller [27], EPFL [12] Scala Workshop 2010 [31], Lausanne, Switzerland, April 2010 |
| [32] |
[33] |
Deprecating the Observer Pattern by Ingo Maier [34], Tiark Rompf [17] and Martin Odersky [10], EPFL [12], Tech Report EPFL-REPORT-148043, March 2010. |
| [35] |
[36] |
Fighting Bit Rot with Types (Experience Report: Scala Collections) by Martin Odersky [10], EPFL [12] and Adriaan Moors [37], K.U.Leuven [38]. FSTTCS 2009 [39], IIT Kanpur, India, December 15 to 17, 2009 |
| [40] |
Compiling Generics Through User-Directed Type Specialization by Iulian Dragos [41] and Martin Odersky [10], EPFL [12], Fourth ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2009) [42], Genova, Italy - 6th July 2009 |
|
| [43] |
[44] |
Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform by Tiark Rompf [17], Ingo Maier [34] and Martin Odersky [10], EPFL [12], ICFP 2009 [45], Edinburgh, Scotland, 31st August - 2nd September 2009 |
| [46] |
Modular Visitor Components: A Practical Solution to the Expression Families Problem by Bruno C. d. S. Oliveira [47], Oxford University Computing Laboratory [48] ECOOP 2009 [49], Genova, Italy, July 2009. |
|
| [50] |
Scala Actors: Unifying thread-based and event-based programming by Philipp Haller [27] and Martin Odersky [10], EPFL [12] Theoretical Computer Science [51], Volume 410, Issues 2-3, February 2009 |
|
| [52] |
Generics of a Higher Kind by Adriaan Moors [37], Frank Piessens [53], K.U.Leuven [38], and Martin Odersky [10], EPFL [12], In the proceedings of OOPSLA 2008 [54], Nashville (TN), March 2008. |
|
| [55] |
Implementing Joins using Extensible Pattern Matching by Philipp Haller [27], EPFL [12], and Tom Van Cutsem [56], Vrije Universiteit Brussel [57] COORDINATION 2008 [58], Oslo, Norway, June 2008 |
|
| [59] |
Safe Type-level Abstraction in Scala by Adriaan Moors [37], Frank Piessens [53], K.U.Leuven [38], and Martin Odersky [10], EPFL [12], FOOL 2008 [60], San Francisco (CA), January 2008. |
|
| [61] |
Translation Correctness for First-Order Object-Oriented Pattern Matching by Burak Emir [62], EPFL [12], Qin Ma [63], OFFIS, Oldenburg [64], and Martin Odersky [10], EPFL [12], Tech Report LAMP-REPORT-2007-003, June 2007. |
|
| [65] |
Actors that Unify Threads and Events Tech report by Philipp Haller [27] and Martin Odersky [10]. January 2007. |
|
| [66] |
Matching Objects With Patterns Tech report (draft) by Burak Emir [62], Martin Odersky [10], and John Williams. January 2007. |
|
| [67] |
Scalable Programming Abstractions for XML Services by Burak Emir, EPFL [12], Sebastian Maneth, UNSV Sydney [68], and Martin Odersky, EPFL [12] Lecture Notes in Computer Science, Dependable Systems: Software, Computing, Networks [69], Vol. 4028, pp. 103--126, Springer-Verlag, September 2006. |
|
| [70] |
Event-Based Programming without Inversion of Control by Philipp Haller, EPFL [12] and Martin Odersky, EPFL [12] Proceedings of JMLC 06 [71], Oxford, August 2006. |
|
| [72] |
A Core Calculus for Scala Type Checking by Vincent Cremet, EPFL [12], François Garillot, ENS Paris [73], Sergueï Lenglet, ENS Lyon [74], and Martin Odersky, EPFL [12] Proceedings of MFCS 06 [75], Stará Lesná, August 2006. |
|
| [76] |
On Embedding Domain-specific Languages with User-friendly Syntax by Gilles Dubochet, EPFL [12] Proceedings of the 1st ECOOP Workshop on Domain-Specific Program Development [77], pp. 19–22, Nantes, July 2006. |
|
| [78] |
The Scala Plugin for Eclipse by Sean McDirmid, EPFL [12] and Martin Odersky, EPFL [12] Proceedings of the Eclipse Technology eXchange Workshop [79] at ECOOP 2006 [80], Nantes, July 3-7, 2006. |
|
 [81] |
[82] |
Scalable Component Abstractions by Martin Odersky, EPFL [12], and Matthias Zenger, Google [83] Proceedings of OOPSLA 2005 [84], San Diego, October 2005. |
| [85] |
The Expression Problem in Scala Report by T.N. Esben & al., Aarhus University, May 31, 2005. |
|
| [86] |
[87] |
Inner Classes and Virtual Types by Philippe Altherr and Vincent Cremet, EPFL [12], I&C Technical Report [88] No. 2005013, March 2005. |
| [89] |
[90] |
Independently Extensible Solutions to the Expression Problem by Matthias Zenger and Martin Odersky, EPFL [12], I&C Technical Report [88] No. 200433, March 2004. |
| [91] |
[92] |
Programmation Multi-niveaux dans Scala by Damien Pous, ENS Lyon [93], Project report, August 2003. |
| [94] |
[95] |
A Nominal Theory of Objects with Dependent Types (also known as the "vObj paper") by Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger, EPFL [12] Proceedings of ECOOP 2003 [96], July 2003. |
| [97] |
[98] |
Scala and AsmL side by side by Stéphane Micheloud, EPFL [12], Internal paper, May 2003. |
| [99] |
[100] |
PiLib: A Hosted Language for Pi-Calculus Style Concurrency by Vincent Cremet [101] and Martin Odersky [10], EPFL [12] Dagstuhl Proceedings: Domain-Specific Program Generation [102], March 2003. |
Talks |
||
| [103] |
Scala - The Next Five Years by Martin Odersky, EPFL [12] Scala Lift Off [104], June 2009, San Francisco. |
|
| [105] |
[106] |
A Scalable Language by Martin Odersky, EPFL [12] Free and Open Source Software Developers' European Meeting (FOSDEM 2009 [107]), February 2009. |
| [108] |
The Scala Experience — Programming With Functional Objects by Martin Odersky, EPFL [12] Principles and Practice of Programming in Java (PPPJ 2007 [109]), September 2007. |
|
| [110] |
Scala Actors -- Scalable Multithreading on the JVM by Philipp Haller, EPFL [12] Invited talk at IBM Development Lab Boeblingen [111], May 2007. |
|
| [112] |
The Scala Experiment — Can We Provide Better Language Support for Component Systems? by Martin Odersky, EPFL [12] Google Tech Talks [113], November 2006. |
|
| [114] |
Tackling Concurrency — Language or Library ? by Martin Odersky, EPFL [12] Intel PL Seminar Series [115], November 2006. |
|
| [116] |
Tutorial on Writing Modular Programs in Scala by Gilles Dubochet [117] and Martin Odersky [10] 13 September 2006 at JMLC [71], Oxford. Try the full hands-on tutorial [118] (with documentation and source code), and its solution [119]. Both packages contain a Scala compiler and are completely stand-alone. |
|
| [120] |
Poor Man's Type Classes by Martin Odersky, EPFL [12] IFIP WG 2.8 [121], July 2006. |
|
| [122] |
The Scala Experiment — Can We Provide Better Language Support for Component Systems? by Martin Odersky, EPFL [12] POPL 2006 [123], January 2006. |
|
| [124] |
[125] |
Types for Objects and Modules by Martin Odersky, EPFL [12] Dagstuhl Proceedings: Domain-Specific Program Generation [102], March 2003. |
Theses |
||
| [126] |
Design Patterns and Scala Master Thesis report by Fredrik Skeel Løkke, DAIMI [127], Aarhus University. Thesis No. 1336, March 2009. Supervisor: Erik Ernst. |
|
| [128] |
Object-Oriented Pattern Matching PhD Thesis report by Burak Emir, EPFL [12], Thesis [129] No. 3899, October 2007. |
|
| [130] |
An Object-Oriented Programming Model for Event-Based Actors Master Thesis report by Philipp Haller, Karlsruhe University [131], May 2006. N.B. The software package [132] can be installed using sbaz [133] and the API documentation [134] is available from the author's web page. |
|
| [135] |
A Typed Intermediate Language and Algorithms for Compiling Scala by Successive Rewritings PhD Thesis report by Philippe Altherr, EPFL [12], Thesis [136] No. 3509, March 2006. |
|
| [137] |
Foundations for Scala: Semantics and Proof of Virtual Types PhD Thesis report (draft) by Vincent Cremet, EPFL [12], Thesis [138] No. 3556, May 2006. |
|
| [139] |
Compiling Scala for the Java Virtual Machine PhD Thesis report by Michel Schinz, EPFL [12], Thesis [140] No. 3302, September 2005. |
|
You can also check the list of academic courses [5] and presentations [6] that other people have done on Scala.
If you have an item that you would like us to add to these lists, please just let us know [7].
 Introduction [141] |
 Learn Scala [142] |
 In the Enterprise [143] |
 Research [8] |
 Community [144] |
 Compiler [145] |
| Attachment | Size |
|---|---|
| FrederikThesis.pdf [126] | 883.64 KB |
Links:
[1] http://www.scala-lang.org/node/143#grants
[2] http://www.scala-lang.org/node/143#papers
[3] http://www.scala-lang.org/node/143#talks
[4] http://www.scala-lang.org/node/143#theses
[5] http://www.scala-lang.org/node/203
[6] http://www.scala-lang.org/node/207
[7] http://www.scala-lang.org/node/188
[8] http://www.scala-lang.org/node/143
[9] http://www.scala-lang.org/sites/default/files/pdfs/esynopsis.pdf#
[10] http://lamp.epfl.ch/~odersky/
[11] http://lamp.epfl.ch/
[12] http://www.epfl.ch/
[13] http://ppl.stanford.edu/wiki/index.php/Pervasive_Parallelism_Laboratory
[14] http://www.stanford.edu/
[15] http://infoscience.epfl.ch/record/150347
[16] http://infoscience.epfl.ch/record/150347/files/gpce63-rompf.pdf
[17] http://people.epfl.ch/tiark.rompf
[18] http://program-transformation.org/GPCE10
[19] http://infoscience.epfl.ch/record/150346
[20] http://infoscience.epfl.ch/record/150346/files/onl0000031-chafi.pdf
[21] http://lamp.epfl.ch/~moors
[22] http://graphics.stanford.edu/~hanrahan/
[23] http://www-hydra.stanford.edu/~kunle/
[24] http://onward-conference.org/
[25] http://lamp.epfl.ch/~phaller/capabilities.html
[26] http://lamp.epfl.ch/~phaller/doc/haller-odersky10-Capabilities_for_uniqueness_and_borrowing.pdf
[27] http://lamp.epfl.ch/~phaller/
[28] http://ecoop2010.uni-mb.si
[29] http://days2010.scala-lang.org/node/138/149
[30] http://lamp.epfl.ch/~phaller/doc/haller10-Translucent_functions.pdf
[31] http://days2010.scala-lang.org
[32] http://infoscience.epfl.ch/record/148043
[33] http://lamp.epfl.ch/~imaier/pub/DeprecatingObserversTR2010.pdf
[34] http://lamp.epfl.ch/~imaier/
[35] http://drops.dagstuhl.de/opus/volltexte/2009/2338
[36] http://drops.dagstuhl.de/opus/volltexte/2009/2338/pdf/09005.OderskyM.2338.pdf
[37] http://adriaanm.github.com/
[38] http://www.cs.kuleuven.be/
[39] http://www.fsttcs.org
[40] http://lamp.epfl.ch/~dragos/files/scala-spec.pdf
[41] http://people.epfl.ch/iulian.dragos
[42] http://www.icooolps.info
[43] http://web.cecs.pdx.edu/~apt/icfp09_accepted_papers/113.html
[44] http://lamp.epfl.ch/~rompf/continuations-icfp09.pdf
[45] http://www.cs.nott.ac.uk/~gmh/icfp09.html
[46] http://www.comlab.ox.ac.uk//files/2187/ModularVisitor.pdf
[47] http://www.comlab.ox.ac.uk/people/Bruno.Oliveira/
[48] http://www.comlab.ox.ac.uk
[49] http://ecoop09.disi.unige.it/
[50] http://lamp.epfl.ch/~phaller/doc/haller-odersky09-Scala_Actors_accepted.pdf
[51] http://www.sciencedirect.com/science/journal/03043975
[52] http://adriaanm.github.com/files/higher.pdf
[53] http://www.cs.kuleuven.be/~frank/
[54] http://www.oopsla.org/oopsla2008/
[55] http://lamp.epfl.ch/~phaller/doc/HallerVanCutsem08JoinsExtensiblePatternMatching.pdf
[56] http://prog.vub.ac.be/~tvcutsem/
[57] http://www.vub.ac.be
[58] http://discotec08.ifi.uio.no/Coordination08/HomePage
[59] http://adriaanm.github.com/files/scalina-final.pdf
[60] http://fool08.kuis.kyoto-u.ac.jp/
[61] http://infoscience.epfl.ch/getfile.py?docid=13847&name=TranslationCorrectness-TR&format=pdf&version=1
[62] http://lamp.epfl.ch/~emir/
[63] http://seshome.informatik.uni-oldenburg.de/~qin/
[64] http://www.offis.de/
[65] http://lamp.epfl.ch/~phaller/doc/haller07coord.pdf
[66] http://lamp.epfl.ch/~emir/written/MatchingObjectsWithPatterns-TR.pdf
[67] http://lamp.epfl.ch/~emir/written/emirlncs4028.pdf
[68] http://www.unsw.edu.au/
[69] http://www.springer.com/west/home/computer/programming?SGWID=4-40007-22-173669810-0
[70] http://www.scala-lang.org/sites/default/files/odersky/jmlc06.pdf
[71] http://cms.brookes.ac.uk/computing/JMLC2006/
[72] http://www.scala-lang.org/sites/default/files/odersky/mfcs06.pdf
[73] http://www.di.ens.fr/
[74] http://www.ens-lyon.fr/LIP/
[75] http://www.mfcs.sk/mfcs2006/
[76] http://infoscience.epfl.ch/record/85862/files/dubochet2006zytyg.pdf
[77] http://phoenix.labri.fr/DSPD/final.html
[78] http://www.sciences.univ-nantes.fr/lina/atl/www/papers/eTX2006/04-SeanMcdirmid.pdf
[79] http://www.emn.fr/x-info/ecoop2006/Eclipse
[80] http://www.emn.fr/x-info/ecoop2006/
[81] http://www.scala-lang.org/sites/default/files/odersky/ScalableComponent.ps.gz
[82] http://www.scala-lang.org/sites/default/files/odersky/ScalableComponent.pdf
[83] http://www.google.com/
[84] http://www.oopsla.org/2005/ShowPage.do?id=Home
[85] http://www.scala-lang.org/docu/files/TheExpressionProblem.pdf
[86] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/IC_TECH_REPORT_2005013.ps.gz#
[87] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/IC_TECH_REPORT_2005013.pdf#
[88] http://icwww.epfl.ch/publications/list.php
[89] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/IC_TECH_REPORT_200433.ps.gz#
[90] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/IC_TECH_REPORT_200433.pdf#
[91] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/MetaScala.ps.gz#
[92] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/MetaScala.pdf#
[93] http://www.ens-lyon.fr/
[94] http://www.scala-lang.org/sites/default/files/odersky/ecoop03.ps.gz
[95] http://www.scala-lang.org/sites/default/files/odersky/ecoop03.pdf
[96] http://www.st.informatik.tu-darmstadt.de:8080/ecoop/
[97] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaAsmL.ps.gz#
[98] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaAsmL.pdf#
[99] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/PiLib.ps.gz#
[100] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/PiLib.pdf#
[101] http://lamp.epfl.ch/~cremet/
[102] http://www.dagstuhl.de/03131/
[103] http://www.scala-lang.org/sites/default/files/odersky/scalaliftoff2009.pdf
[104] http://scalaliftoff.com/
[105] http://ftp.heanet.ie/mirrors/fosdem-video/2009/maintracks/scala.xvid.avi
[106] http://www.slideshare.net/Odersky/fosdem-2009-1013261
[107] http://www.fosdem.org/2009/
[108] http://www.scala-lang.org/sites/default/files/odersky/pppj07.pdf
[109] http://ctp.di.fct.unl.pt/PPPJ07/
[110] http://lamp.epfl.ch/~phaller/doc/ScalaActors.pdf
[111] http://www-5.ibm.com/de/entwicklung/
[112] http://www.scala-lang.org/sites/default/files/odersky/google06.pdf
[113] http://video.google.com/videosearch?q=Google odersky
[114] http://www.scala-lang.org/sites/default/files/odersky/intel06.pdf
[115] http://www.intel-research.net/Berkeley/ViewSeminarAbstract.asp?Index=610
[116] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/skeb-slides.pdf#
[117] http://people.epfl.ch/gilles.dubochet
[118] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/skeb.zip#
[119] http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/skeb-solution.zip#
[120] http://www.scala-lang.org/sites/default/files/odersky/wg2.8-boston06.pdf
[121] http://www.md.chalmers.se/Misc/WG2.8/
[122] http://www.scala-lang.org/sites/default/files/odersky/popl06.pdf
[123] http://www.cs.princeton.edu/~dpw/popl/06/
[124] http://www.scala-lang.org/sites/default/files/odersky/dagstuhl03.ps
[125] http://www.scala-lang.org/sites/default/files/odersky/dagstuhl03.pdf
[126] http://www.scala-lang.org/sites/default/files/FrederikThesis.pdf
[127] http://cs.au.dk
[128] http://biblion.epfl.ch/EPFL/theses/2007/3899/EPFL_TH3899.pdf
[129] http://library.epfl.ch/en/theses/?nr=3899
[130] http://lamp.epfl.ch/~phaller/doc/haller06da.pdf
[131] http://www.info.uni-karlsruhe.de/
[132] http://lamp.epfl.ch/~phaller/actors.html
[133] http://www.scala-lang.org/downloads/sbaz.html#
[134] http://lamp.epfl.ch/~phaller/doc/scalaactors/api/index.html
[135] http://lamp.epfl.ch/~paltherr/phd/altherr-phd.pdf
[136] http://library.epfl.ch/en/theses/?nr=3509
[137] http://lamp.epfl.ch/~cremet/publications/thesis.ps
[138] http://library.epfl.ch/en/theses/?nr=3556
[139] http://lamp.epfl.ch/~schinz/thesis-final-A4.pdf
[140] http://library.epfl.ch/en/theses/?nr=3302
[141] http://www.scala-lang.org/node/25
[142] http://www.scala-lang.org/node/1305
[143] http://www.scala-lang.org/node/1658
[144] http://www.scala-lang.org/node/1707
[145] http://www.scala-lang.org/node/214