.
Robert Harper
Posted by haifeng on 2012-06-15 07:07:31 last update 2012-06-15 07:09:20 | Answers (0) | 收藏
http://www.cs.cmu.edu/~rwh/
Carnegie Mellon University
Research Interests
Type theory, proof theory, and category theory applied to programming language semantics and implementation.