Robert Harper |
||
---|---|---|
Computer Science Department | Phone | +1 (412) 268-3675 |
Carnegie Mellon University | rwh@cs.cmu.edu | |
PGP | Public Key | |
5000 Forbes Avenue | Office | 9207 Gates-Hillman Center |
Pittsburgh, PA 15213-3890 | Assistant | Ben Cook (9229 GHC, x8-5310) |
"The committee appreciated that the results are significant, relevant, and novel. In fact, so novel that the paper may be one of the first of its kind, applying modern categorical type theory and homotopy type theory to core programming languages questions. Unfortunately, the committee ultimately decided to accept other excellent and more accessible papers ahead of this submission." -- PoPL 2020 PC
Last modified: Tue Oct 20 10:47:10 EDT 2020