The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Harper: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert Harper
    Modules and Persistence in Standard ML. [Citation Graph (2, 0)][DBLP]
    Data Types and Persistence (Appin), 1985, pp:21-30 [Conf]
  2. Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes
    Signatures for a Network Protocol Stack: A Systems Application of Standard ML. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:55-64 [Conf]
  3. Robert Harper, Benjamin C. Pierce
    A Record Calculus Based on Symmetric Concatenation. [Citation Graph (1, 0)][DBLP]
    POPL, 1991, pp:131-142 [Conf]
  4. John C. Mitchell, Robert Harper
    The Essence of ML. [Citation Graph (1, 0)][DBLP]
    POPL, 1988, pp:28-46 [Conf]
  5. John Ainsworth, Robert Harper, Ismael Juma, Iain E. Buchan
    PsyGrid: Applying e-Science to Epidemiology. [Citation Graph (0, 0)][DBLP]
    CBMS, 2006, pp:727-732 [Conf]
  6. Tom Murphy VII, Karl Crary, Robert Harper
    Distributed Control Flow with Classical Modal Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:51-69 [Conf]
  7. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Logic Representation in LF. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:250-272 [Conf]
  8. Fred B. Schneider, J. Gregory Morrisett, Robert Harper
    A Language-Based Approach to Security. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:86-101 [Conf]
  9. J. Gregory Morrisett, Matthias Felleisen, Robert Harper
    Abstract Models of Memory Management. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:66-77 [Conf]
  10. Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning
    Trustless Grid Computing in ConCert. [Citation Graph (0, 0)][DBLP]
    GRID, 2002, pp:112-125 [Conf]
  11. Robert Harper
    Self-Adjusting Computation. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:1-2 [Conf]
  12. Robert Harper
    Mechanizing the meta-theory of programming languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:240- [Conf]
  13. Robert Harper, Benjamin C. Pierce
    Advanced module systems: a guide for the perplexed (abstract of invited talk). [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:130- [Conf]
  14. Hongwei Xi, Robert Harper
    A Dependently Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:169-180 [Conf]
  15. Yitzhak Mandelbaum, David Walker, Robert Harper
    An effective theory of type refinements. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:213-225 [Conf]
  16. Aleksandar Nanevski, Guy E. Blelloch, Robert Harper
    Automatic Generation of Staged Geometric Predicates. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:217-228 [Conf]
  17. Robert Harper
    Self-Adjusting Computation. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:254-255 [Conf]
  18. Robert Harper, Furio Honsell, Gordon D. Plotkin
    A Framework for Defining Logics [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:194-204 [Conf]
  19. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Structure and Representation in LF [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:226-237 [Conf]
  20. Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning
    A Symmetric Modal Lambda Calculus for Distributed Computing. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:286-295 [Conf]
  21. Perry Cheng, Robert Harper, Peter Lee
    Generational Stack Collection and Profile-Driven Pretenuring. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:162-173 [Conf]
  22. Karl Crary, Robert Harper, Sidd Puri
    What is a Recursive Module? [Citation Graph (0, 0)][DBLP]
    PLDI, 1999, pp:50-63 [Conf]
  23. David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
    TIL: A Type-Directed Optimizing Compiler for ML. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:181-192 [Conf]
  24. David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
    TIL: a type-directed, optimizing compiler for ML (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1996, pp:554-567 [Conf]
  25. Umut A. Acar, Guy E. Blelloch, Robert Harper
    Adaptive functional programming. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:247-259 [Conf]
  26. Umut A. Acar, Guy E. Blelloch, Robert Harper
    Selective memoization. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:14-25 [Conf]
  27. Derek Dreyer, Karl Crary, Robert Harper
    A type system for higher-order modules. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:236-249 [Conf]
  28. Bruce F. Duba, Robert Harper, David B. MacQueen
    Typing First-Class Continuations in ML. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:163-173 [Conf]
  29. Robert Harper, Mark Lillibridge
    Explicit Polymorphism and CPS Conversion. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:206-219 [Conf]
  30. Robert Harper, Mark Lillibridge
    A Type-Theoretic Approach to Higher-Order Modules with Sharing. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:123-137 [Conf]
  31. Robert Harper, J. Gregory Morrisett
    Compiling Polymorphism Using Intensional Type Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:130-141 [Conf]
  32. Robert Harper, John C. Mitchell, Eugenio Moggi
    Higher-Order Modules and the Phase Distinction. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:341-354 [Conf]
  33. Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper
    Typed Closure Conversion. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:271-283 [Conf]
  34. Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
    A type theory for memory allocation and data layout. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:172-184 [Conf]
  35. Christopher A. Stone, Robert Harper
    Deciding Type Equivalence with Singleton Kinds. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:214-227 [Conf]
  36. Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller
    Modular type classes. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:63-70 [Conf]
  37. Daniel K. Lee, Karl Crary, Robert Harper
    Towards a mechanized metatheory of standard ML. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:173-184 [Conf]
  38. Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorge L. Vittes, Shan Leung Maverick Woo
    Dynamizing static algorithms, with applications to dynamic trees and history independence. [Citation Graph (0, 0)][DBLP]
    SODA, 2004, pp:531-540 [Conf]
  39. Lars Birkedal, Robert Harper
    Relational Interpretations of Recursive Types in an operational Setting (Summary). [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:458-490 [Conf]
  40. Robert Harper, Robin Milner, Mads Tofte
    A Type Discipline for Program Modules. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:308-319 [Conf]
  41. Robert Harper, Robert Pollack
    Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:241-256 [Conf]
  42. Andrew Bernard, Robert Harper, Peter Lee
    How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:53-77 [Conf]
  43. Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
    Typed compilation of recursive datatypes. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:98-108 [Conf]
  44. Adam J. Chlipala, Leaf Petersen, Robert Harper
    Strict bidirectional type checking. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:71-78 [Conf]
  45. Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
    Typed compilation of recursive datatypes. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:98-108 [Conf]
  46. Daniel Spoonhower, Guy E. Blelloch, Robert Harper
    Using page residency to balance tradeoffs in tracing garbage collection. [Citation Graph (0, 0)][DBLP]
    VEE, 2005, pp:57-67 [Conf]
  47. Robert Harper, Donald Sannella, Andrzej Tarlecki
    Structured Theory Presentations and Logic Representations. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:67, n:1-3, pp:113-160 [Journal]
  48. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
    On the unusual effectiveness of logic in computer science. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2001, v:7, n:2, pp:213-236 [Journal]
  49. Robert Harper, Frank Pfenning
    On Equivalence and Canonical Forms in the LF Type Theory [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  50. Robert Harper, Peter Lee
    Research in Programming Languages for Composability, Safety, and Performance. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:195- [Journal]
  51. Robert Harper, John C. Mitchell
    ML and Beyond. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:219- [Journal]
  52. Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
    A Library for Self-Adjusting Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:127-154 [Journal]
  53. J. Gregory Morrisett, Robert Harper
    Typed Closure Conversion for Recursively-Defined Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  54. Karl Crary, Robert Harper
    Syntactic Logical Relations for Polymorphic and Recursive Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:259-299 [Journal]
  55. Lars Birkedal, Robert Harper
    Relational Interpretations of Recursive Types in an Operational Setting. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:155, n:1-2, pp:3-63 [Journal]
  56. Robert Harper
    A Simplified Account of Polymorphic References. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1994, v:51, n:4, pp:201-206 [Journal]
  57. Robert Harper
    A Note on ``A Simplified Account of Polymorphic References''. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:57, n:1, pp:15-16 [Journal]
  58. Robert Harper, John C. Mitchell
    Parametricity and Variants of Girard's J Operator. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:70, n:1, pp:1-5 [Journal]
  59. Robert Harper, Furio Honsell, Gordon D. Plotkin
    A Framework for Defining Logics. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1993, v:40, n:1, pp:143-184 [Journal]
  60. Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, Gary L. Miller, Noel Walkington
    Persistent triangulations Journal of Functional Programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:5, pp:441-466 [Journal]
  61. Robert Harper
    Proof-Directed Debugging. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:4, pp:463-469 [Journal]
  62. Robert Harper, Bruce F. Duba, David B. MacQueen
    Typing First-Class Continuations in ML. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:4, pp:465-484 [Journal]
  63. Robert Harper, Mark Lillibridge
    Operational Interpretations of an Extension of Fomega with Control Operators. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:3, pp:393-417 [Journal]
  64. Robert Harper
    Constructing Type Systems over an Operational Semantics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1992, v:14, n:1, pp:71-84 [Journal]
  65. David A. Basin, Olivier Danvy, Robert Harper
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:171-171 [Journal]
  66. Edoardo Biagioni, Robert Harper, Peter Lee
    A Network Protocol Stack in Standard ML. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:4, pp:309-356 [Journal]
  67. Robert Harper, Mark Lillibridge
    Polymorphic Type Assignment and CPS Conversion. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:361-380 [Journal]
  68. Aleksandar Nanevski, Guy E. Blelloch, Robert Harper
    Automatic Generation of Staged Geometric Predicates. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:4, pp:379-400 [Journal]
  69. Robert Harper, Frank Pfenning
    A Module System for a Programming Language Based on the LF Logical Framework. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:1, pp:5-31 [Journal]
  70. Robert Harper, John C. Mitchell
    ML and Beyond. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:80-85 [Journal]
  71. Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning
    Automated techniques for provably safe mobile code. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:2, pp:1175-1199 [Journal]
  72. Robert Harper, Robert Pollack
    Type Checking with Universes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:89, n:1, pp:107-136 [Journal]
  73. Robert Harper, Frank Pfenning
    On equivalence and canonical forms in the LF type theory. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:1, pp:61-101 [Journal]
  74. Christopher A. Stone, Robert Harper
    Extensional equivalence and singleton types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:4, pp:676-722 [Journal]
  75. Robert Harper, John C. Mitchell
    On the Type Structure of Standard ML. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1993, v:15, n:2, pp:211-252 [Journal]
  76. Umut A. Acar, Guy E. Blelloch, Robert Harper
    Adaptive functional programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:6, pp:990-1034 [Journal]
  77. David Swasey, Tom Murphy VII, Karl Crary, Robert Harper
    A separate compilation extension to standard ML. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:32-42 [Conf]
  78. Karl Crary, Robert Harper
    Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  79. A type-theoretic interpretation of standard ML. [Citation Graph (, )][DBLP]


  80. A universe of binding and computation. [Citation Graph (, )][DBLP]


  81. Space profiling for parallel functional programs. [Citation Graph (, )][DBLP]


  82. Focusing on Binding and Computation. [Citation Graph (, )][DBLP]


  83. Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. [Citation Graph (, )][DBLP]


  84. Beyond nested parallelism: tight bounds on work-stealing overheads for parallel futures. [Citation Graph (, )][DBLP]


  85. Type-Safe Distributed Programming with ML5. [Citation Graph (, )][DBLP]


  86. A Pronominal Approach to Binding and Computation. [Citation Graph (, )][DBLP]


  87. Distributed programming with distributed authorization. [Citation Graph (, )][DBLP]


  88. Positively dependent types. [Citation Graph (, )][DBLP]


  89. nSpace and GeoTime: A VAST 2006 Case Study. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002