Search this site:

Scala Main Menu

About Scala

Introduction

In the Enterprise

Scala Community

Mailing Lists

scala

scala-announce

scala-user

scala-debate

scala-tools

scala-internals

scala-xml

IRC Channel

Blogs & News

Sygneca
Wiki

Scala Trac

Language Research

Papers

Talks

Theses

Courses

Presentations

In
the Press

Articles

Interviews and Panel
Talks

News Archive

The
Scala Team

Scala's
Prehistory

Contact Us

Documentation

Learning Scala

Tour of
Scala

Manuals

A
Brief Scala Tutorial

Scala
by Example

Scala
Overview

Scala
Language Specification

The SID
Library

Translations

Books

Scala API

scaladoc

vscaladoc

Download
locally

Setup & Getting Started

Getting Started with
Scala

Java to Scala

Windows Mini-Guide

Setting PATH on Windows

fsc and the OSX
firewall

Programming
Guides

Scala Actors

Scala
on Android

Scala
on Microsoft .NET

Scala on Google App
Engine

Other Guides

Maven for Beginners

Scala
and JUnit on Eclipse

Scala, Emacs and
Yasnippet

FAQs

Code
Examples

Hello world!

Simple
Snippets

Advanced Examples

Software

Download Scala

Latest Stable Release

Previous Releases

Nightly Builds

Live
SVN Repository

Distribution
Content

Sbaz

IDE
and Editor plugins

IDE Plugins

Tool
Support

Libraries and Tools

Libraries

Development
Tools

Program
Testing

Other
Scala-Related

Scala License

Scala Developers

Developer's Guides

Build Scala from the
Source

Scala
IDE for Eclipse

Writing Compiler
Plugins

Scala
Ant Tasks

Compiler Internals

Improvement
Documents

Bug
Tracking & Testing

Scala Trac

Scala Hudson

Benchmarks

Review Board

Codebase Progress

Version History

Language Changes

Download Stats

Maintainers

Contributor
Agreement

Home » About Scala » Language
Research

Language Research

Created by admin on 2008-07-09. Updated:
2009-07-09, 11:20

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.

Papers
Academic
papers published on Scala and its background. Includes works on higher-kinded
types, the νObj calculus, continuations, actors, the expression problem, and
more.

Talks
Talks
and tutorials presented in various academic venues by EPFL researchers.
Includes links to many sets of slides about many aspects of the Scala
system.

Theses
Academic
theses related to Scala and the design of its functionalities.

Courses
Scala
has been used in several academic courses outside of EPFL. This section
includes some of them, and links to the related teaching
material.

Presentations
Additional
presentations about Scala, done in various venues. The list is incomplete, as
the interest about Scala keeps increasing, and the presentations multiply:
please let us know about yours so that we can include it.

If you would like to have your publications or presentation included, please
just let us know.

Papers

Implementing First-Class Polymorphic Delimited Continuations
by a Type-Directed Selective CPS-Transform
by Tiark Rompf, Ingo Maier and Martin Odersky, EPFL,
ICFP 2009, Edinburgh,
Scotland, 31st August - 2nd September 2009

Modular Visitor Components: A Practical Solution to the
Expression Families Problem
by Bruno C. d. S.
Oliveira, Oxford University
Computing Laboratory
ECOOP
2009, Genova, Italy, July 2009.

Generics of a Higher Kind
by Adriaan Moors, Frank Piessens, K.U.Leuven, and Martin Odersky, EPFL,
Submitted to OOPSLA 2008, Nashville (TN),
March 2008.

Safe Type-level Abstraction in Scala
by Adriaan Moors, Frank Piessens, K.U.Leuven, and Martin Odersky, EPFL,
FOOL 2008, San Francisco
(CA), January 2008.

Implementing Joins using Extensible Pattern
Matching
by Philipp Haller, EPFL, and Tom Van Cutsem, Vrije University, Belgium,
Tech Report
LAMP-REPORT-2007-004, August 2007.

Translation Correctness for First-Order Object-Oriented
Pattern Matching
by Burak Emir, EPFL, Qin
Ma, OFFIS, Oldenburg,
and Martin
Odersky, EPFL,
Tech Report
LAMP-REPORT-2007-003, June 2007.

Towards Equal Rights for Higher-Kinded
Types
by Adriaan Moors, K.U.Leuven, Frank Piessens, K.U.Leuven, and Martin Odersky, EPFL.
MPOOL
2007, July 2007.

Actors that Unify Threads and Events
Tech report
by Philipp
Haller and Martin
Odersky.
January 2007.

Matching Objects With Patterns
Tech report (draft)
by Burak Emir, Martin Odersky, and John
Williams.
January 2007.

Scalable Programming Abstractions for XML
Services
by Burak Emir, EPFL, Sebastian Maneth, UNSV Sydney, and Martin
Odersky, EPFL
Lecture Notes in
Computer Science, Dependable
Systems: Software, Computing, Networks, Vol. 4028, pp. 103--126,
Springer-Verlag, September 2006.

Event-Based Programming without Inversion of
Control
by Philipp Haller, EPFL and
Martin Odersky, EPFL
Proceedings of JMLC 06, Oxford,
August 2006.

A Core Calculus for Scala Type Checking
by Vincent
Cremet, EPFL, François Garillot, ENS Paris, Sergueï Lenglet, ENS Lyon, and Martin
Odersky, EPFL
Proceedings of MFCS 06, Stará Lesná, August
2006.

On Embedding Domain-specific Languages with User-friendly
Syntax
by Gilles Dubochet, EPFL
Proceedings of the 1st ECOOP Workshop on
Domain-Specific Program Development,
pp. 19–22, Nantes, July
2006.

The Scala Plugin for Eclipse
by Sean
McDirmid, EPFL and Martin Odersky, EPFL
Proceedings of the Eclipse Technology
eXchange Workshop at ECOOP 2006, Nantes, July
3-7, 2006.

Scalable Component Abstractions
by Martin
Odersky, EPFL, and Matthias Zenger, Google
Proceedings of OOPSLA 2005, San
Diego, October 2005.

The Expression Problem in Scala
Report by T.N.
Esben & al., Aarhus University, May 31, 2005.

Inner Classes and Virtual Types
by Philippe
Altherr and Vincent Cremet, EPFL,
I&C Technical
Report No. 2005013, March 2005.

Independently Extensible Solutions to the Expression
Problem
by Matthias Zenger and Martin Odersky, EPFL,
I&C Technical
Report No. 200433, March 2004.

Programmation Multi-niveaux dans Scala
by Damien
Pous, ENS Lyon,
Project
report, August 2003.

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
Proceedings of ECOOP
2003, July 2003.

Scala and AsmL side by side
by Stéphane
Micheloud, EPFL,
Internal paper, May 2003.

PiLib: A Hosted Language for Pi-Calculus Style
Concurrency
by Vincent Cremet and Martin
Odersky, EPFL
Dagstuhl
Proceedings: Domain-Specific
Program Generation, March 2003.

Talks

Scala - The Next Five Years
by Martin
Odersky, EPFL
Scala Lift Off, June 2009, San
Francisco.

A Scalable Language
by Martin Odersky, EPFL
Free
and Open Source Software Developers' European Meeting (FOSDEM 2009), February 2009.

The Scala Experience — Programming With Functional
Objects
by Martin Odersky, EPFL
Principles and Practice of
Programming in Java (PPPJ
2007), September 2007.

Scala Actors -- Scalable Multithreading on the
JVM
by Philipp Haller, EPFL
Invited talk at IBM Development Lab
Boeblingen, May 2007.

The Scala Experiment — Can We Provide Better Language Support
for Component Systems?
by Martin Odersky, EPFL
Google Tech
Talks, November 2006.

Tackling Concurrency — Language or Library ?
by
Martin Odersky, EPFL
Intel
PL Seminar Series, November 2006.

Tutorial on Writing Modular Programs in
Scala
by Gilles
Dubochet and Martin Odersky
13 September
2006 at JMLC, Oxford. Try
the full hands-on
tutorial (with documentation and source code), and its solution.
Both packages contain a Scala compiler and are completely
stand-alone.

Poor Man's Type Classes
by Martin Odersky, EPFL
IFIP WG 2.8, July
2006.

The Scala Experiment — Can We Provide Better Language Support
for Component Systems?
by Martin Odersky, EPFL
POPL 2006, January
2006.

Types for Objects and Modules
by Martin
Odersky, EPFL
Dagstuhl Proceedings: Domain-Specific Program
Generation, March 2003.

Theses

Object-Oriented Pattern Matching
PhD Thesis report
by Burak Emir, EPFL,
Thesis No. 3899,
October 2007.

An Object-Oriented Programming Model for Event-Based
Actors
Master Thesis report by Philipp Haller, Karlsruhe University, May
2006. N.B. The software
package can be installed using sbaz and
the API
documentation is available from the author's web page.

A Typed Intermediate Language and Algorithms for Compiling
Scala by Successive Rewritings
PhD Thesis report by Philippe
Altherr, EPFL,
Thesis No. 3509,
March 2006.

Foundations for Scala: Semantics and Proof of Virtual
Types
PhD Thesis report (draft) by Vincent Cremet, EPFL,
Thesis No. 3556,
May 2006.

Compiling Scala for the Java Virtual Machine
PhD
Thesis report by Michel Schinz, EPFL,
Thesis No. 3302,
September 2005.

You can also check the list of academic courses and presentations 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.

Introduction

Learn Scala

In the Enterprise

Research

Community

Compiler

Printer-friendly version

Scala Quick Links

Download Scala

Reference
Manuals

Scala
API

Report a Bug

Submit a Story

Papers and Talks

News Archive

FAQs

Site map

Contact Us

Featured News

Scala 2.7.6 final

Lift Version 1.0 Released

User login

Username: *

Password: *
will be sent
securely

Create new account

Retrieve lost
password

Poll

I learn/use Scala because:

of a political
decision

of a technical
decision

of a customer
request

it makes my
life easier

it is great
fun

it is the
future

Malbolge was
too easy

Copyright © 2009 École Polytechnique Fédérale de
Lausanne (EPFL), Lausanne, Switzerland