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

2017

PLDI

Author of Responsive Parallel Computation: Bridging Competitive and Cooperative Threading within the PLDI Research Papers-track

2016

PLMW

Author of Two Notions of Beauty in Programming within the PLMW-track

2015

ESOP

Speaker of Unifying Speaker within the Speakers-track