Journal Article Homotopical patch theory 2014 • ACM Sigplan Notices • 49(9):243-256 Angiuli C, Morehouse E, Licata DR, Harper R
Conference Cache and I/O efficent functional algorithms 2013 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 39-50 Blelloch GE, Harber R
Conference Cache and I/O Efficient Functional Algorithms 2013 • ACM Sigplan Notices • 48(1):39-50 Blelloch GE, Harper R
Conference Canonicity for 2-Dimensional Type Theory 2012 • ACM Sigplan Notices • 47(1):337-348 Licata DR, Harper R
Conference Canonicity for 2-Dimensional Type Theory 2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 337-348 Licata DR, Harper R
Conference 2-Dimensional Directed Type Theory 2011 • Electronic Notes in Theoretical Computer Science • 276:263-289 Licata DR, Harper R
Conference Robin Milner 1934-2010 2011 • POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES • 473-473 Gordon AD, Harper R, Harrison J, Jeffrey A, Sewell P
Conference Robin Milner 1934-2010 Verification, Languages, and Concurrency 2011 • ACM Sigplan Notices • 46(1):473-473 Gordon AD, Harper R, Harrison J, Jeffrey A, Sewell P
Conference A Monadic Formalization of ML5 2010 • Electronic Proceedings in Theoretical Computer Science • 69-83 Licata DR, Harper R
Conference Distributed Programming with Distributed Authorization 2010 • TLDI '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON TYPES IN LANGUAGE DESIGN AND IMPLEMENTATION • 27-38 Avijit K, Datta A, Harper R
Book Practical foundations for programming languages 2010 • Practical Foundations for Programming Languages • 9781107029576:1-471 Harper R
Journal Article Space profiling for parallel functional programs 2010 • Journal of Functional Programming • 20:417-461 Spoonhower D, Blelloch GE, Harper R, Gibbons PB
Conference A Pronominal Approach to Binding and Computation 2009 • Lecture Notes in Computer Science • 5608:3-4 Harper R, Licata DR, Zeilberger N
Conference A Universe of Binding and Computation 2009 • ACM Sigplan Notices • 44(8-9):123-134 Licata DR, Harper R
Conference A Universe of Binding and Computation 2009 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP • 123-134 Licata DR, Harper R
Journal Article An Experimental Analysis of Self-Adjusting Computation 2009 • ACM Transactions on Programming Languages and Systems • 32(1): Acar UA, Blelloch GE, Blume M, Harper R, Tangwongsan K
Journal Article An Overview of the Oregon Programming Languages Summer School 2009 • ACM Sigplan Notices • 44(11):1-3 Allen J, Ariola Z, Curien P-L, Fluet M, Foster J, Grossman D, Harper R, Herbelin H, Smaragdakis Y, Walker D, Zdancewic S
Conference Beyond Nested Parallelism: Tight Bounds on Work-Stealing Overheads for Parallel Futures 2009 • SPAA'09: PROCEEDINGS OF THE TWENTY-FIRST ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES • 91-100 Spoonhower D, Blelloch GE, Gibbons PB, Harper R
Journal Article FUNCTIONAL PEARL. Proof-directed debugging (vol 9, pg 463, 1999) 2009 • Journal of Functional Programming • 19:262-262 Harper R
Conference Positively dependent types 2009 • Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV'09 • 3-14 Licata DR, Harper R
Conference Report of the 2008 SIGPLAN programming languages curriculum workshop 2009 • SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education • 132-133 Bailey M, Bruce K, Fisher K, Harper R, Reges S
Conference Focusing on binding and computation 2008 • Proceedings - Symposium on Logic in Computer Science • 241-252 Licata DR, Zeilberger N, Harper R
Journal Article Position Paper: Practical Foundations for Programming Languages 2008 • ACM Sigplan Notices • 43(11):71-73 Harper R
