Movatterモバイル変換


[0]ホーム

URL:


This page is no longer maintained — Please continue to the home page atwww.scala-lang.org

Home

Scala Main Menu

Home »About Scala » Language Research

Language Research

Created by admin on 2008-07-09. Updated: 2011-01-10, 14:50

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.

  • Grants
    Grants related to Scala development and research.
     
  • 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 justlet us know.

 


 

Grants

HTMLPDF

Domain Optimized Parallelization using Polymorphic Language Embeddings and Rewritings (DOPPLER)
Principal Investigator: Martin Odersky,LAMP,EPFL
In collaboration with thePervasive Parallelism Lab,Stanford University. January 2011

Papers

HTMLPDFLightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs
byTiark Rompf andMartin Odersky,EPFL
GPCE 2010, Eindhoven, The Netherlands, October 2010
HTMLPDFLanguage Virtualization for Heterogeneous Parallel Computing
byHassan Chafi,Stanford,Zach DeVito,Stanford,Adriaan Moors,EPFL,Tiark Rompf,EPFL,Arvind K. Sujeeth,Stanford,Pat Hanrahan,Stanford,Martin Odersky,EPFL andKunle Olukotun,Stanford
Onward! 2010, Reno/Tahoe, Nevada, USA, October 2010
HTMLPDFCapabilities for Uniqueness and Borrowing
byPhilipp Haller andMartin Odersky,EPFL
ECOOP 2010, Maribor, Slovenia, June 2010
AVIPDFLightweight language support for type-based, concurrent event processing
byPhilipp Haller,EPFL
Scala Workshop 2010, Lausanne, Switzerland, April 2010
HTMLPDFDeprecating the Observer Pattern
byIngo Maier,Tiark Rompf andMartin Odersky,EPFL,
Tech Report EPFL-REPORT-148043, March 2010.
HTMLPDFFighting Bit Rot with Types (Experience Report: Scala Collections)
byMartin Odersky,EPFL andAdriaan Moors,K.U.Leuven.
FSTTCS 2009, IIT Kanpur, India, December 15 to 17, 2009
 PDFCompiling Generics Through User-Directed Type Specialization
byIulian Dragos andMartin Odersky,EPFL,
Fourth ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems(ICOOOLPS'2009), Genova, Italy - 6th July 2009
HTMLPDFImplementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform
byTiark Rompf,Ingo Maier andMartin Odersky,EPFL,
ICFP 2009, Edinburgh, Scotland, 31st August - 2nd September 2009
 PDFModular Visitor Components: A Practical Solution to the Expression Families Problem
byBruno C. d. S. Oliveira,Oxford University Computing Laboratory
ECOOP 2009, Genova, Italy, July 2009.
 PDFScala Actors: Unifying thread-based and event-based programming
byPhilipp Haller andMartin Odersky,EPFL
Theoretical Computer Science, Volume 410, Issues 2-3, February 2009
 PDFGenerics of a Higher Kind
byAdriaan Moors,Frank Piessens,K.U.Leuven, andMartin Odersky,EPFL,
In the proceedings ofOOPSLA 2008, Nashville (TN), March 2008.
 PDFImplementing Joins using Extensible Pattern Matching
byPhilipp Haller,EPFL, andTom Van Cutsem,Vrije Universiteit Brussel
COORDINATION 2008, Oslo, Norway, June 2008
 PDFSafe Type-level Abstraction in Scala
byAdriaan Moors,Frank Piessens,K.U.Leuven, andMartin Odersky,EPFL,
FOOL 2008, San Francisco (CA), January 2008.
 PDFTranslation Correctness for First-Order Object-Oriented Pattern Matching
byBurak Emir,EPFL,Qin Ma,OFFIS, Oldenburg, andMartin Odersky,EPFL,
Tech Report LAMP-REPORT-2007-003, June 2007.
 PDFActors that Unify Threads and Events
Tech report byPhilipp Haller andMartin Odersky.
January 2007.
 PDFMatching Objects With Patterns
Tech report (draft) byBurak 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 ofJMLC 06, Oxford, August 2006.
 PDFA Core Calculus for Scala Type Checking
by Vincent Cremet,EPFL, François Garillot,ENS Paris, Sergueï Lenglet,ENS Lyon, and Martin Odersky,EPFL
Proceedings ofMFCS 06, Stará Lesná, August 2006.
 PDFOn Embedding Domain-specific Languages with User-friendly Syntax
by Gilles Dubochet,EPFL
Proceedings of the1st 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 theEclipse Technology eXchange Workshop atECOOP 2006, Nantes, July 3-7, 2006.
Scalable Component Abstractions
by Martin Odersky,EPFL, and Matthias Zenger,Google
Proceedings ofOOPSLA 2005, San Diego, October 2005.
 PDFThe Expression Problem in Scala
Report by T.N. Esben & al., Aarhus University, May 31, 2005.
PSPDFInner Classes and Virtual Types
by Philippe Altherr and Vincent Cremet,EPFL,
I&C Technical Report No. 2005013, March 2005.
PSPDFIndependently Extensible Solutions to the Expression Problem
by Matthias Zenger and Martin Odersky,EPFL,
I&C Technical Report No. 200433, March 2004.
PSPDFProgrammation 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 ofECOOP 2003, July 2003.
PSPDFScala and AsmL side by side
by Stéphane Micheloud,EPFL,
Internal paper, May 2003.
PSPSPiLib: A Hosted Language for Pi-Calculus Style Concurrency
byVincent Cremet andMartin Odersky,EPFL
Dagstuhl Proceedings:Domain-Specific Program Generation, March 2003.

Talks

 PDFScala - The Next Five Years
by Martin Odersky,EPFL
Scala Lift Off, June 2009, San Francisco.
AVIPDFA Scalable Language
by Martin Odersky,EPFL
Free and Open Source Software Developers' European Meeting (FOSDEM 2009), February 2009.
 PDFThe Scala Experience — Programming With Functional Objects
by Martin Odersky,EPFL
Principles and Practice of Programming in Java (PPPJ 2007), September 2007.
 PDFScala Actors -- Scalable Multithreading on the JVM
by Philipp Haller,EPFL
Invited talk atIBM Development Lab Boeblingen, May 2007.
 PDFThe Scala Experiment — Can We Provide Better Language Support for Component Systems?
by Martin Odersky,EPFL
Google Tech Talks, November 2006.
 PDFTackling Concurrency — Language or Library ?
by Martin Odersky,EPFL
Intel PL Seminar Series, November 2006.
 PDFTutorial on Writing Modular Programs in Scala
byGilles Dubochet andMartin Odersky
13 September 2006 atJMLC, Oxford. Try the fullhands-on tutorial (with documentation and source code), and itssolution. Both packages contain a Scala compiler and are completely stand-alone.
 PDFPoor Man's Type Classes
by Martin Odersky,EPFL
IFIP WG 2.8, July 2006.
 PDFThe Scala Experiment — Can We Provide Better Language Support for Component Systems?
by Martin Odersky,EPFL
POPL 2006, January 2006.
PSTypes for Objects and Modules
by Martin Odersky,EPFL
Dagstuhl Proceedings:Domain-Specific Program Generation, March 2003.

Theses

 PDFDesign Patterns and Scala
Master Thesis report by Fredrik Skeel Løkke,DAIMI, Aarhus University.
Thesis No. 1336, March 2009. Supervisor: Erik Ernst.
 PDFObject-Oriented Pattern Matching
PhD Thesis report by Burak Emir,EPFL,
Thesis No. 3899, October 2007.
 PDFAn Object-Oriented Programming Model for Event-Based Actors
Master Thesis report by Philipp Haller,Karlsruhe University, May 2006.N.B. Thesoftware package can be installed usingsbaz and theAPI documentation is available from the author's web page.
 PDFA Typed Intermediate Language and Algorithms for Compiling Scala by Successive Rewritings
PhD Thesis report by Philippe Altherr,EPFL,
Thesis No. 3509, March 2006.
PS Foundations for Scala: Semantics and Proof of Virtual Types
PhD Thesis report (draft) by Vincent Cremet,EPFL,
Thesis No. 3556, May 2006.
 PDFCompiling Scala for the Java Virtual Machine
PhD Thesis report by Michel Schinz,EPFL,
Thesis No. 3302, September 2005.

 

You can also check the list ofacademic courses andpresentations that other people have done on Scala.

If you have an item that you would like us to add to these lists, please justlet us know.

 

Introduction Learn Scala In the Enterprise Research Community Compiler

 

AttachmentSize
FrederikThesis.pdf883.64 KB

Scala Quick Links

Featured News

User login


will be sent securely

Create new account

Retrieve lost password

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


[8]ページ先頭

©2009-2025 Movatter.jp