Universe Type System Tools for Scala

Open Positions

We are recruiting PhD students in program verification, programming languages, and programming environments. Check out the job descriptions.

Student Projects Available

Our group offers many different topics for Master's theses, Bachelor's theses, and Research in Computer Science Projects. 

Our Mailing List

If you are interested in our activities, you can subscribe to the PMInterest mailing list.

Workshop on Software Correctness and Reliability

All information on the workshop 2014 can be found here.

The slides and videos of 2013 are available on the workshop website


See the research page for an overview of the Universe type system and the tools page for information about the tools we provide.

Compiler Plug-In

We integrated the Universe type system into the Scala compiler using type annotations and the compiler plug-in infrastructure.

The thesis report describes all the details of the implementation, the users guide gives the high-level guide for users, and the developers guide contains information for people interested in reusing the plug-in.

We provide the complete implementation (.tar.gz), including pre-compiled Java byte code and the Scala source code for the plug-in under the GPL2.

The plug-in can also be downloaded in these separate JAR file


Version 1.0.0, February 2008:

Master project of Manfred Stock: The current release does not yet support the full Scala language and does not correctly check all UTS rules. Still, it is a very usable first implementation.

Student Projects

Past Students:

For a complete list of past student projects on the Universe type system see the main page.
Manfred Stock     Implementing a Universe Type System for Scala
Daniel Schregenberger     Universe Type System for Scala


These tools are provided as-is without any support or warranty. Also see the GNU General Public License, version 2.

Werner M. Dietl


Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information

© 2015 ETH Zurich | Imprint | Disclaimer | 22 February 2011