Parametric Type Inferencing for Helium

Bastiaan Heeren, Jurriaan Hage

Research output: Book/ReportOther report


Helium is a compiler for a large subset of Haskell under development at Universiteit Utrecht. A major design criterion is the ability to give
superb error messages. This is especially needful for novice functional programmers. In this paper we document the implementation of the Helium type inferencer. For purposes of experimentation with various methods of type inferencing, the type inferencer can be parameterized in a number of ways. Among the instances we find not only standard algorithms such as M and W, but also more global type inferencers based on type graphs.
Original languageEnglish
PublisherDepartment of Information and Computing Sciences, Utrecht University
Number of pages17
Publication statusPublished - 2002

Publication series

NameTechnical Report Series
ISSN (Print)0924-3275


Dive into the research topics of 'Parametric Type Inferencing for Helium'. Together they form a unique fingerprint.

Cite this