Welcome to my website, here you will find:
- Lambda Animator a graphical tool for displaying and experimenting with alternative reduction strategies in the λ-calculus.
- My PhD Thesis demonstrates how interpretive overhead can be lazily eliminated using a completely lazy reduction strategy.
- SpaceTime a program much like the UNIX program 'time' but measures peak memory usage also.
- My CV.