- Type theory, proof theory, and category theory applied to programming
language semantics and implementation.
- Correctness of Compiling Polymorphism to
Dynamic Typing. Kuen-Bang Hou (Favonia), Nick Benton, and Robert Harper.
Winter, 2014. (Under review.)
- Homotopical Patch Theory. Carlo Angiuli,
Ed Morehouse, Daniel R. Licata, and Robert Harper. To appear, ICFP 2014,
Gotheburg, Sweden, October, 2014. (See also expanded version with appendix.)
- ACM Research Highlight: Cache Efficient Functional
Algorithms. Guy E. Blelloch and Robert Harper. To appear,
Communications of the ACM, Fall, 2014.
- Refining Objects (Preliminary Summary). Robert Harper and
Rowan Davies. Essays for the Luca Cardelli Fest, September, 2014.
- Structure and Efficiency of Computer
Programs. Robert Harper. Position paper submitted to the National
Science Foundation, July, 2014.
- Homotopy Type Theory: Unified Foundations
of Mathematics and Computation.
Steve Awodey and Robert Harper. Solicited survey article for the SIGLOG Newsletter,
- Type Refinements in an Open World
(Extended Abstract). Robert Harper and William Duff.
- A Note on the Uniform Kan Condition in Cubical
Robert Harper and Kuen-Bang Hou (Favonia), January 2015.
- Two Notions of Beauty in Programming. Indiana University Computer Science Department Distinguished Lecture Series, November, 2013.
- The Future of Standard ML. ML Workshop,
Boston, September, 2013.
- John C. Reynolds. Workshop on Higher
Order Programming with Effects, Boston, September, 2013.
- Twenty-Five Years of LF. Workshop on
Logical Frameworks and Metalanguages: Theory and Practice, Boston,
September, 2013. (Planned talk not delivered at meeting.)
- Two Notions of Beauty in Programming.
LICS/MFPS Joint Session in honor of Dana Scott, New Orleans, June,
Functional IO Algorithms. POPL, Rome, Italy,
Last modified: Mon Jan 26 13:48:50 EST 2015