Conference A symmetric modal Lambda calculus for distributed computing 2004 • Proceedings - Symposium on Logic in Computer Science • 286-295 Murphy T, Crary K, Harper R, Pfenning F
Conference Dynamizing Static Algorithms, with Applications to Dynamic Trees and History Independence 2004 • Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms • 15:524-533 Acar UA, Blelloch GE, Harper R, Vittes JL, Woo SLM
Journal Article Higher-Order and Symbolic Computation: Editorial 2004 • Higher-Order and Symbolic Computation • 17(3):171 Basin D, Danvy O, Harper R
Conference Self-adjusfing computation 2004 • Proceedings - Symposium on Logic in Computer Science • 254-255 Harper R
Journal Article Self-adjusting computation 2004 • Lecture Notes in Computer Science • 3142:1-2 Harper R
Conference TIL: A type-directed optimizing compiler for ML 2004 • ACM Sigplan Notices • 39(4):556-567 Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P
Conference TIL:: A type≠directed, optimizing compiler for ML 2004 • ACM Sigplan Notices • 39(4):554-555 Tarditi D, Morrisett G, Cheng P, Stone C
Conference A type system for higher-order modules 2003 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 236-249 Dreyer D, Crary K, Harper R
Journal Article A type system for higher-order modules 2003 • ACM Sigplan Notices • 38(1):236-249 Dreyer D, Crary K, Harper R
Journal Article A type theory for memory allocation and data layout 2003 • ACM Sigplan Notices • 38(1):172-184 Petersen L, Harper R, Crary K, Pfenning F
Conference A type theory for memory allocation and data layout 2003 • ACM Sigplan Notices • 38(1):172-184 Petersen L, Harper R, Crary K, Pfenning F
Conference An Effective Theory of Type Refinements 2003 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP • 8:213-225 Mandelbaum Y, Walker D, Harper R
Conference An effective theory of type refinements 2003 • ACM Sigplan Notices • 38(9):213-225 Mandelbaum Y, Walker D, Harper R
Journal Article Automated techniques for provably safe mobile code 2003 • Theoretical Computer Science • 290(2):1175-1199 Colby C, Crary K, Harper R, Lee P, Pfenning F
Journal Article Automatic generation of staged geometric predicates 2003 • Higher-Order and Symbolic Computation • 16(4):379-400 Nanevski A, Blelloch G, Harper R
Journal Article Erratum: Polymorphic type assignment and CPS conversion (LISP and Symbolic Computation (1993) 6 3/4 (373)) 2003 • Higher-Order and Symbolic Computation • 16(4):401 Harper R, Lillibridge M
Journal Article Selective memoization 2003 • ACM Sigplan Notices • 38(1):14-25 Acar UA, Blelloch GE, Harper R
Conference Selective memoization 2003 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 14-25 Acar UA, Blelloch GE, Harper R
Conference Typed compilation of recursive datatypes 2003 • ACM Sigplan Notices • 38(3):98-108 Vanderwaart JC, Dreyer D, Petersen L, Crary K, Harper R, Cheng P
Journal Article Typed compilation of recursive datatypes 2003 • ACM Sigplan Notices • 38(3):98-108 Vanderwaart JC, Crary K, Dreyer D, Harper R, Petersen L, Cheng P
Journal Article Adaptive functional programming 2002 • ACM Sigplan Notices • 37(1):247-259 Acar UA, Blelloch GE, Harper R
Conference Adaptive functional programming 2002 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 247-259 Acar UA, Blelloch GE, Harper R
Conference Trustless Grid computing in ConCert 2002 • Lecture Notes in Computer Science • 2536:112-125 Chang BYE, Crary K, DeLap M, Harper R, Liszka J, Murphy T, Pfenning F
Journal Article A dependently typed assembly language 2001 • ACM Sigplan Notices • 36(10):169-180 Xi HW, Harper R
