Werner Dietl at the University of Waterloo

Werner Dietl

Electrical and Computer Engineering, University of Waterloo

Download: PDF.

“Universe Type System for Scala” by Daniel Schregenberger. June 2007. Master's thesis.

Abstract

Scala combines the object-oriented and functional paradigms to an expressive programming language. It supports the creation of class hierarchies known from object-oriented languages like Java or C# and at the same time allows to model algebraic types through pattern matching, as found in many functional programming languages.

The Universe type system applies the concept of ownership to Java-like languages and allows to control object modification and thereby maintain invariants. It does so by controlling aliasing without restricting it.

This thesis presents an ownership type system for Scala and other Java-like programming languages. It combines support for type genericity with path-dependent types to extend the static expressiveness of the Universe type system.

Download: PDF.

BibTeX entry:

@unpublished{DSchregenberger07,
   author = {Daniel Schregenberger},
   title = {{Universe Type System for Scala}},
   month = jun,
   note = {Master's thesis}
}

Back to the student projects sorted by date or by category.

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

(This webpage was created with bibtex2web.)

Student Project: Universe Type System for Scala

Abstract