Home » user account

delesley

Personal information


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


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

History


12 years 18 weeks