Publications by <!-- THEME DEBUG --> <!-- THEME HOOK: 'views_view_field' --> <!-- 💡 BEGIN CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' --> Guy Blelloch

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 • 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 • Proceedings of the ACM SIGPLAN 2006 Workshop on ML • 2006:32-42
Swasey D, Murphy VII 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 • 3634:51-69
Murphy T, Crary K, Harper R

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

2005 240-240
Harper R

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

2005 • Proceedings of the TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation • 71-78
Chlipala A, Petersen L, Harper R

2005 • Proceedings of the First ACM/USENIX International Conference on Virual Execution Environments, VEE 05 • 57-67
Spoonhower D, Blelloch G, Harper R

2004 • Proceedings - Symposium on Logic in Computer Science • 286-295
Murphy T, Crary K, Harper R, Pfenning F

2004 • Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms • 15:524-533
Acar UA, Blelloch GE, Harper R, Vittes JL, Woo SLM