Conference A dependently typed assembly language 2001 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP • 169-180 Xi H, Harper R
Chapter A language-based approach to security 2001 • Lecture Notes in Computer Science • 2000:86-101 Schneider FB, Morrisett G, Harper R
Journal Article A network protocol stack in Standard ML 2001 • Higher-Order and Symbolic Computation • 14(4):309-356 Biagioni E, Harper R, Lee P
Conference Automatic generation of staged geometric predicates 2001 217-228 Nanevski A, Blelloch G, Harper R
Conference Automatic generation of staged geometric predicates 2001 • Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP • 217-228 Nanevski A, Blelloch G, Harper R
Conference Automatic generation of staged geometric predicates 2001 • ACM Sigplan Notices • 36(10):217-228 Nanevski A, Blelloch G, Harper R
Journal Article On the unusual effectiveness of logic in computer science 2001 • Bulletin of Symbolic Logic • 7(2):213-236 Halpern JY, Harper R, Immerman N, Kolaitis PG, Vardi MY, Vianu V
Journal Article Persistent triangulations 2001 • Journal of Functional Programming • 11:441-466 Blelloch G, Burch H, Crary K, Harper R, Miller G, Walkington N
Journal Article Toward a Practical Type Theory for Recursive Modules 2001 Dreyer DR, Harper R, Crary K
Journal Article Advanced module systems (invited talk) 2000 • ACM Sigplan Notices • 35(9):130 Harper R, Pierce BC
Conference Advanced module systems (invited talk): a guide for the perplexed 2000 • ACM Sigplan Notices • 35(9):130 Harper R, Pierce BC
Conference Automated techniques for provably safe mobile code 2000 • Proceedings - DARPA Information Survivability Conference and Exposition, DISCEX 2000 • 1:406-419 Crary K, Harper R, Lee P, Pfenning F
Conference Deciding type equivalence in a language with singleton kinds 2000 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 214-227 Stone CA, Harper R
Journal Article Functional pearl: Proof-directed debugging 1999 • Journal of Functional Programming • 9(4):463-469 Harper R
Journal Article Parametricity and variants of Girard's <i>J</i> operator 1999 • Information Processing Letters • 70(1):1-5 Harper R, Mitchell JC
Journal Article Relational interpretations of recursive types an operational setting 1999 • Information and Computation • 155(1-2):3-63 Birkedal L, Harper R
Journal Article What is a recursive module? 1999 • ACM Sigplan Notices • 50-63 Crary K, Harper R, Puri S
Journal Article What is a recursive module? 1999 • ACM Sigplan Notices • 34(5):50-63 Crary K, Harper R, Puri S
Journal Article A module system for a programming language based on the LF logical framework 1998 • Journal of Logic and Computation • 8(1):5-31 Harper R, Pfenning F
Conference Generational stack collection and profile-driven pretenuring 1998 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 162-173 Cheng P, Harper R, Lee P
Journal Article Generational stack collection and profile-driven pretenuring 1998 • ACM Sigplan Notices • 33(5):162-173 Cheng P, Harper R, Lee P
