Publications by Robert Harper

2017 • ACM Sigplan Notices • 52(1):706-718
Kumar A, Blelloch GE, Harper R

2017 • Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation • 677-692
Muller SK, Acar UA, Harper R

2017 • ACM Sigplan Notices • 52(6):677-692
Muller SK, Acar UA, Harper R

2016
Angiuli C, Harper R, Wilson T

2016 • Journal of Functional Programming • 26:1-45
Angiuli C, Morehouse E, Licata DR, Harper R

2016
Harper R

2015
Harper R, Hou K-B

2015 • Communications of the ACM • 58(7):101-108
Blelloch GE, Harper R

2014 • ACM Sigplan Notices • 49(9):243-256
Angiuli C, Morehouse E, Licata DR, Harper R

2014 • ACM Sigplan Notices • 243-256
Angiuli C, Morehouse E, Licata DR, Harper R

2013 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 39-50
Blelloch GE, Harper R

2013 • ACM Sigplan Notices • 48(1):39-50
Blelloch GE, Harper R

2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 337-348
Licata DR, Harper R

2012 • ACM Sigplan Notices • 47(1):337-348
Licata DR, Harper R

2012
Harper R

2011 • Electronic Notes in Theoretical Computer Science • 276:263-289
Licata DR, Harper R

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

2011 • ACM Sigplan Notices • 46(1):473-473
Gordon AD, Harper R, Harrison J, Jeffrey A, Sewell P

2011
Acar UA, Blelloch GE, Harper R

2010 • Electronic Proceedings in Theoretical Computer Science • 69-83
Licata DR, Harper R

2010
Licata DR, Harper R

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

2010 • Journal of Functional Programming • 20:417-461
Spoonhower D, Blelloch GE, Harper R, Gibbons PB

2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5608:3-4
Harper R, Licata DR, Zeilberger N

2009 • ACM Sigplan Notices • 44(8-9):123-134
Licata DR, Harper R