[Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Tue Jul 18 00:05:01 EDT 2006


NU Programming Languages Seminar
Tuesday 7/25/06
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Waitomo, an Interface-Oriented Programming Language
Peter Thiemann
Universität Freiburg

Waitomo is an experimental programming language derived from Java.  It
aims to strengthen the guarantees of type safety by eliminating the
need for casting without sacrificing the flexibility of the
object-oriented programming style.  The vital ingredients of the
language are generics combined with a new approach to interfaces that
includes a notion of self-types and union types. Waitomo interfaces
are not types, but rather constraints which can be imposed on
generics.  This choice enables elegant solutions to standard
programming problems.

Besides an introduction to the language, the paper contains the full
formalization of a core language with proofs of type soundness and
decidability of subtyping. A prototype implementation of the
language exists.

Upcoming Events:

stay tuned...


More information about the pl-seminar mailing list