Not registered as user yet
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