Publications by Robert Harper

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 • ACM Sigplan Notices • 42(1):63-70
Dreyer D, Harper R, Chakravarty MMT

2007 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 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

2006 • ACM SIGACT News • 37(3):93-96
Crary K, Harper R

2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3634:51-69
Murphy T, Crary K, Harper R

2005 240-240
Harper R

2005 • ACM Sigplan Notices • 40(9):240-240
Harper R

2005 • ACM Transactions on Computational Logic • 6(1):61-101
Harper R, Pfenning F

2005 71-78
Chlipala A, Petersen L, Harper R

2005 57-67
Spoonhower D, Blelloch G, Harper R