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


11 years 23 weeks