Mike Thyer

Welcome to my website, here you will find:

• Lambda Animator a graphical tool for displaying and experimenting with alternative reduction strategies in the λ-calculus.
  • Demo/Slides presented at FitA York 2007.
• 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.