Lambda the Ultimate

DeLesley Hutchins
PhD University of Edinburgh.
Currently working at Google.

Dependent types, partial evaluation, type systems for thread safety.