delesley

Personal information


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


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

History


4 years 1 week