Copenhagen Programming Language Seminar
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
Scientific host:Carsten Schürmann Administrative host:
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 email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org