Write a Blog >>

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

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

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