We do not maintain this page any more.
Please visit our new web presence for up-to-date information.
  Chair of Programming Methodology
ETH Zurich


Home
About
People
Research
Publications
Teaching
Projects



Department of Computer Science

SCT Student Projects - Daniel Schregenberger

Master Thesis - Universe Type System for Scala

The goal of this master's project is to apply the Universe type system to the Scala programming language.

Project Timeframe: September 2006 until June 2007
Project Description: PDF
Project Report: PDF
Supervisor: Werner M. Dietl

Semester Project - Runtime checks for the Universe Type System

This semester project implemented the dynamic checks of the Universe type system by extending the compiler to produce additional code. The generated code runs on any standard Java virtual machine.

Project Timeframe: Summer Semester 2004
Project Description: PDF
Project Report: PDF
Supervisor: Werner M. Dietl