conf.researchr.org / Robert Harper
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