Robert Harper Books

The Little Typer
Practical Foundations for Programming Languages