Shaun Hall

Hi. I'm a computer science graduate from Cambridge. My interests include programming language semantics, compiler design and proof systems.

Computer Science

My sudoku solver
Talks I gave on Computer Algebra and Calculus [slides] and Type-Checking and Type-Error Reporting [slides]
Calculating Fibonacci Quickly
The Towers of Hanoi (in ML)
Infinite 'Lazy List' of Primes in ML
Eight Queens Problem in ML
My favourite poem

Dissertation

"Searching for the Source of Caml Type-Errors"

Entertainment

I added a boost feature to the legendary BMTron game -- SHTron

Other Stuff

I'm also a keen Christian, table tennis player [interview] and a wannabe youtube star

Looking for the Cambridge University Table Tennis Club ranking list?

E-mail: sh580 {at} cam {dot} ac {dot} uk