Jon Fairbairn

• Design and implementation of a simple typed language based on the Lambda Calculus