Publications by Robert Harper

2009 • ICFP'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING • 123-134
Licata DR, Harper R

2009 • ACM Transactions on Programming Languages and Systems • 32(1):
Acar UA, Blelloch GE, Blume M, Harper R, Tangwongsan K

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

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

2009 • Journal of Functional Programming • 19:262-262
Harper R

2009 3-14
Licata DR, Harper R

2009 132-133
Bailey M, Bruce K, Fisher K, Harper R, Reges S

2008 • Proceedings - Symposium on Logic in Computer Science • 241-252
Licata DR, Zeilberger N, Harper R

2008 • ACM Sigplan Notices • 43(11):71-73
Harper R

2008 • ACM Sigplan Notices • 253-264
Spoonhower D, Blelloch GE, Harper R, Gibbons PB

2008 • ACM Sigplan Notices • 43(9):253-264
Spoonhower D, Blelloch GE, Harper R, Gibbons PB

2008 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4912:108-+
Murphy T, Crary K, Harper R

2007 • Journal of Functional Programming • 17:613-673
Harper R, Licata DR

2007 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 63-70
Dreyer D, Harper R, Chakravarty MMT

2007 • ACM Sigplan Notices • 42(1):63-70
Dreyer D, Harper R, Chakravarty MMT

2007 • Electronic Notes in Theoretical Computer Science • 172:259-299
Crary K, Harper R

2007 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 173-184
Lee DK, Crary K, Harper R

2007 • ACM Sigplan Notices • 42(1):173-184
Lee DK, Crary K, Harper R

2006 • Electronic Notes in Theoretical Computer Science • 148(2):127-154
Acar U, Blelloch G, Blume M, Harper R, Tangwongsan K

2006 32-42
Swasey D, Murphy T, Crary K, Harper R

2006
Swasey D, Murphy T, Crary K, Harper R

2006 • ACM Transactions on Programming Languages and Systems • 28(6):990-1034
Acar UA, Blelloch GE, Harper R

2006 • ACM Transactions on Computational Logic • 7(4):676-722
Stone CA, Harper R

2006 • ACM Transactions on Computational Logic • 7(4):676-722
Stone CA, Harper R

2006 • ACM Transactions on Computational Logic • 7(4):676-722
Stone CA, Harper R