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
Conference Space Profiling for Parallel Functional Programs 2008 • ACM Sigplan Notices • 253-264 Spoonhower D, Blelloch GE, Harper R, Gibbons PB
Journal Article Space profiling for parallel functional programs 2008 • ACM Sigplan Notices • 43(9):253-264 Spoonhower D, Blelloch GE, Harper R, Gibbons PB
Conference Type-safe distributed programming with ML5 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
Conference Mechanizing metatheory in a logical framework 2007 • Journal of Functional Programming • 17:613-673 Harper R, Licata DR
Conference Modular Type Classes 2007 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 63-70 Dreyer D, Harper R, Chakravarty MMT
Conference Modular type classes 2007 • ACM Sigplan Notices • 42(1):63-70 Dreyer D, Harper R, Chakravarty MMT
Journal Article Syntactic Logical Relations for Polymorphic and Recursive Types 2007 • Electronic Notes in Theoretical Computer Science • 172:259-299 Crary K, Harper R
Conference Towards a Mechanized Metatheory of Standard ML 2007 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 173-184 Lee DK, Crary K, Harper R
Journal Article Towards a mechanized metatheory of Standard ML 2007 • ACM Sigplan Notices • 42(1):173-184 Lee DK, Crary K, Harper R
Journal Article A Library for Self-Adjusting Computation 2006 • Electronic Notes in Theoretical Computer Science • 148(2):127-154 Acar U, Blelloch G, Blume M, Harper R, Tangwongsan K
Conference A separate compilation extension to standard ML 2006 32-42 Swasey D, Murphy T, Crary K, Harper R
Journal Article A Separate Compilation Extension to Standard ML (Revised and Expanded) 2006 Swasey D, Murphy T, Crary K, Harper R
Journal Article Adaptive functional programming 2006 • ACM Transactions on Programming Languages and Systems • 28(6):990-1034 Acar UA, Blelloch GE, Harper R
Journal Article Extensional equivalence and Singleton types 2006 • ACM Transactions on Computational Logic • 7(4):676-722 Stone CA, Harper R
Journal Article Extensional equivalence and singleton types 2006 • ACM Transactions on Computational Logic • 7(4):676-722 Stone CA, Harper R
Journal Article Extensional equivalence and singleton types 2006 • ACM Transactions on Computational Logic • 7(4):676-722 Stone CA, Harper R
Conference Distributed control flow with classical modal logic 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
Journal Article Mechanizing the meta-theory of programming languages 2005 • ACM Sigplan Notices • 40(9):240-240 Harper R
Journal Article On equivalence and canonical forms in the LF type theory 2005 • ACM Transactions on Computational Logic • 6(1):61-101 Harper R, Pfenning F
Conference Using page residency to balance tradeoffs in tracing garbage collection 2005 57-67 Spoonhower D, Blelloch G, Harper R
