![3DHome](3D"http://www.scala-lang.org/sites/default/files/newsflash_logo.png"){kind=logo}
=
=20
Language Research
Created by admin on =
2008-07-09. Updated:=20
2009-07-09, 11:20
Scala rests on a strong theoretical foundation, as well as on = practical=20 experience. You can find below a collection of papers, theses, = presentations,=20 and other research resources related to the Scala language and to its=20 development.
Just click on the links below to jump to the corresponding = section.
Academic=20 papers published on Scala and its background. Includes works on = higher-kinded=20 types, the =CE=BDObj calculus, continuations, actors, the expression = problem, and=20 more.
Talks=20 and tutorials presented in various academic venues by EPFL = researchers.=20 Includes links to many sets of slides about many aspects of the Scala=20 system.
Academic=20 theses related to Scala and the design of its = functionalities.
Additional=20 presentations about Scala, done in various venues. The list is = incomplete, as=20 the interest about Scala keeps increasing, and the presentations = multiply:=20 please let us know about yours so that we can include it.
If you would like to have your publications or presentation included, = please=20 just let us know.
Papers | ||
| Implementing First-Class Polymorphic Delimited =
Continuations=20
by a Type-Directed Selective CPS-Transform by | ||
| Modular Visitor Components: A Practical Solution to the=20
Expression Families Problem by ECOOP=20 2009, Genova, Italy, July 2009. | ||
| Generics of a Higher Kind by Submitted to | ||
| Safe Type-level Abstraction in =
Scala by | ||
| Implementing Joins using Extensible Pattern=20
Matching by Tech Report=20 LAMP-REPORT-2007-004, August 2007. | ||
| Translation Correctness for First-Order Object-Oriented=20
Pattern Matching by Tech Report=20 LAMP-REPORT-2007-003, June 2007. | ||
| Towards Equal Rights for Higher-Kinded=20
Types by | ||
| Actors that Unify Threads and Events Tech = report=20 by Philipp=20 Haller and Martin=20 Odersky. January 2007. | ||
| Matching Objects With Patterns Tech report = (draft)=20 by Burak = Emir, January 2007. | ||
| Scalable Programming Abstractions for XML=20
Services by Burak Emir, EPFL, Sebastian Maneth, Lecture = Notes in=20 Computer Science, | ||
| Event-Based Programming without Inversion of=20
Control by Philipp Haller, Proceedings of | ||
| A Core Calculus for Scala Type Checking by = Vincent=20 Cremet, EPFL, Fran=C3=A7ois = Garillot, Proceedings of | ||
| On Embedding Domain-specific Languages with =
User-friendly=20
Syntax by Gilles Dubochet, Proceedings of = the pp. 19=E2=80=9322, = Nantes, July=20 2006. | ||
| The Scala Plugin for Eclipse by Sean=20 McDirmid, EPFL and Martin = Odersky, Proceedings of = the | ||
| Scalable Component Abstractions by Martin=20 Odersky, EPFL, and Matthias = Zenger, Proceedings = of | ||
| The Expression Problem in Scala Report by = T.N.=20 Esben & al., Aarhus University, May 31, 2005. | ||
| Inner Classes and Virtual Types by Philippe=20 Altherr and Vincent Cremet, EPFL, | ||
| Independently Extensible Solutions to the Expression=20
Problem by Matthias Zenger and Martin Odersky, EPFL, | ||
| Programmation Multi-niveaux dans Scala by = Damien=20 Pous, ENS = Lyon, Project=20 report, August 2003. | ||
| A Nominal Theory of Objects with Dependent=20
Types (also known as the " by Martin = Odersky,=20 Vincent Cremet, Christine R=C3=B6ckl, Matthias Zenger, Proceedings of | ||
| Scala and AsmL side by side by St=C3=A9phane = Micheloud, EPFL, Internal paper, May = 2003. | ||
| PiLib: A Hosted Language for Pi-Calculus Style=20
Concurrency by Dagstuhl=20 Proceedings: Domain-Specific=20 Program Generation, March 2003. |
Talks | ||
| Scala - The Next Five Years by Martin=20 Odersky, EPFL | ||
| A Scalable Language by Martin = Odersky, Free=20 and Open Source Software Developers' European Meeting ( | ||
| The Scala Experience =E2=80=94 Programming With =
Functional=20
Objects by Martin Odersky, Principles and Practice = of=20 Programming in Java (PPPJ=20 2007), September 2007. | ||
| Scala Actors -- Scalable Multithreading on the=20
JVM by Philipp Haller, EPFL Invited talk at | ||
| The Scala Experiment =E2=80=94 Can We Provide Better =
Language Support=20
for Component Systems? by Martin Odersky, | ||
| Tackling Concurrency =E2=80=94 Language or Library =
? by=20 Martin Odersky, EPFL | ||
| Tutorial on Writing Modular Programs in=20
Scala by Gilles=20 Dubochet and Martin Odersky 13 = September=20 2006 at | ||
| Poor Man's Type Classes by Martin = Odersky, | ||
| The Scala Experiment =E2=80=94 Can We Provide Better =
Language Support=20
for Component Systems? by Martin Odersky, | ||
| Types for Objects and Modules by Martin=20 Odersky, EPFL Dagstuhl = Proceedings: |
Theses | ||
| Object-Oriented Pattern Matching PhD Thesis = report=20 by Burak Emir, EPFL, | ||
![3DPDF=20](3D"http://www.scala-lang.org/sites/default/files/icons/small_pdf.png"=){kind=icon} |
An Object-Oriented Programming Model for Event-Based=20
Actors Master Thesis report by Philipp Haller, Karlsruhe = University, May=20 2006. N.B. The sbaz=
and=20
the | |
| A Typed Intermediate Language and Algorithms for =
Compiling=20
Scala by Successive Rewritings PhD Thesis report by = Philippe=20 Altherr, EPFL, | ||
| Foundations for Scala: Semantics and Proof of Virtual=20
Types PhD Thesis report (draft) by Vincent = Cremet, | ||
|
Compiling Scala for the Java Virtual =
Machine PhD=20 Thesis report by Michel Schinz, EPFL, |
You can also check the list of
If you have an item that you would like us to add to these lists, = please just=20 let us know.
User login
Poll
Copyright =C2=A9 2009 =C3=89cole = Polytechnique F=C3=A9d=C3=A9rale de=20 Lausanne (EPFL), Lausanne, Switzerland