next up previous contents
Next: Contents Up: A Calculator for Exact Previous: A Calculator for Exact


I am extremely grateful to my supervisors Martín Escardó and Alex Simpson for all their help and encouragement. I would particularly like to thank Alex for his proof reading, and Martín for his time, patience, and advice during the writing of this report.

I would also like to thank the departments of Computer Science and Artificial Intelligence at the University of Edinburgh for the use of their resources, and in particular the support staff for their assistance and for maintaining reliable computing services.

Finally, I would like to acknowledge the writers of HUGS, the Haskell tools ``Alex'' and ``Happy'', and the Glasgow Haskell Group, whose software made my implementation possible.

Martin Escardo