PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / LCTES 2017 (series) / Robert Harper
Not registered as user
Name:Robert Harper
Affiliation:CWI
Personal website: http://www.cs.cmu.edu/~rwh/
Research interests:Type theory, proof theory, and category theory applied to programming language semantics and implementation
Contributions
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile