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 - Manfred Stock

Master Thesis - Implementing a Universe Type System for Scala

The goal of this master's project is to implement a pluggable type checker for the Universe type system in and for Scala.

Project Timeframe: August 2007 until January 2008
Project Description: PDF
Project Report: PDF
Project Implementation: here
Supervisor: Werner M. Dietl

 

Valid HTML 4.01! Last update: 16.02.2008 by Werner.Dietl@inf.ethz.ch