DIKU IT-C RUC

COPLAS

Copenhagen Programming Language Seminar


Foundations for the Scala Language

Geoffrey Washburn
EPFL IC IIF LAMP, Lausanne

Monday, November 10, 2008, 15:00-16:00
The IT University, Rued Langgaards Vej 7, DK-2300 Auditorium 3

Abstract:

The Scala language aims to unify object-oriented and functional programming, while maintaining full interoperability with the Java language. However, while Scala has been under active development since 2003, there has yet to be a satisfactory formal model of Scala that has kept pace with the language as implemented. There are several calculi that come close, but all have discrepancies in expressive power, some are lacking complete proofs, and some are unsound.

In this talk, I will give a brief overview of the Scala language, review several calculi that fall short of providing a formal model of Scala, and give an overview of the new calculus I have been developing, Scala Classic, that will help fill this gap in the foundations of Scala.


Scientific host:Carsten Schürmann Administrative host: Annette Enggaard. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org