Top Quality Type Error Messages

Top Quality Type Error Messages

PhD thesis: [pdf, 1.3Mb] [bib]

The defense will be on Tuesday, September 20, 2005.

Departement Informatica, Universiteit Utrecht

The work in this thesis has been carried out under the auspices of the research school IPA (Institute for Programming research and Algorithmics).

Printed by Ridderprint offsetdrukkerij BV, Ridderkerk.

Cover painting "Why did we reach Top?" by Lydia van den Ham.

ISBN 90-393-4005-6

Copyright © Bastiaan Heeren, 2005

Uitnodiging (dutch)