Write a Blog >>
DEBS 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / DEBS 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

Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile