Copenhagen Programming Language Seminar
Software development is essential to information technology, and programming languages are primary tools for software developers. In the last ten years, widely used mainstream programming platforms, such as C# and Java, have acquired desirable features that were previously available only in "impractical" and "academic" programming languages such as Scheme, Smalltalk or Standard ML. I will describe this evolution and that of my own work, whose focus has moved from those academic languages to the mainstream ones, combining base programming language technology with practical application. The modern mainstream platforms provide new opportunities within non-traditional programming languages such as spreadsheets, and new challenges within software correctness proofs; I will outline future work in these directions.
After the talk refreshments will be served on the 4th floor.
Scientific host:Peter Sestoft
Inger Vibeke Dorph.
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