Home
Schedule
Abstract Template
Masters Attendance
Constraint Based Type Inference In Helium

Stc
ComputingScienceColloquium


Date: September 18

Time: 11am

Room: BBL-505

----+++ Speaker:  Jurriaan Hage

----+++ Title:  Constraint Based Type Inference in Helium

----+++ Abstract

The Helium compiler implements a significant subset of the
functional programming language Haskell. One of the major motivations for
developing it was to yield understandable and appropriate type
error messages. The separation between the generation, the ordering and
the solving of constraints on types has led to a flexible framework which
has been employed successfully in a classroom setting.
Among its many advantages are the possibility to plug in heuristics
for deciding the most likely source of a type error, the generation of multiple
type error messages during a single compilation, and the possibility
for programmers to tune the type inference process and resulting messages
to their own needs without having to know any of the details of the
implementation.