引用次数
引用: 19,976
H-指数: 56
I10-指数 : 139
出版物: 351
Aspects of the Implementation of Type Theory
Robert W. Harper
Cornell University
4
1985
A language for access control
Kumar Avijit , Robert Harper
3
2007
A Formulation of Dependent ML with Explicit Equality Proofs
Daniel R. Licata , Robert Harper
22
2005
Self-Adjusting Programming
Guy E. Blelloch , Umut A. Acar , Robert Harper , Matthias Blume
1
2005
Systems of polymorphic type assignment in LF
Robert Harper
11
1990
Structure and Efficiency of Computer Programs
Robert Harper
1
2014
Interactive Computation in an Open World
Umut A. Acar , Stefan K. Muller , Robert Harper , William Duff
2015
A Performance Comparison of Interval Arithmetic and Error Analysis for Geometric Predicates
Guy E. Blelloch , S. A. Seshia , Robert Harper
2000
The definition of standard ML, Version 3
Mads Tofte , Robin Milner , Robert Harper
47
1988
The Definition of Standard ML (Revised)
Mads Tofte , Robin Milner , Robert Harper , David MacQueen
MIT Press
4,700
1997
Towards a Functional Library for Fault-Tolerant Grid Computing
Bor-Yuh Evan Chang , Margaret DeLap , Jason Liszka , Tom Murphy
2
2002
Advanced Languages for Systems Software: The Fox Project in 1994
Peter Lee , Robert Harper
Carnegie Mellon University
12
1994
An Interpretation of Standard ML in Type Theory
Christopher Stone , Robert Harper
25
1997
A type-theoretic interpretation of standard ML
Christopher Stone , Robert Harper
Proof, language, and interaction 341 -387
74
2000
Implementing the TILT Internal Language
Chris Stone , Leaf Petersen , Perry Cheng , Robert Harper
15
2000
The Fox project : advanced development of systems software
Robert Harper , Lee , Eric Charles. Cooper
14
1991
Modularity Matters Most
Frank Pfenning , Karl Crary , Peter Lee , Robert Harper
2001
Dynamizing static algorithms, with applications to dynamic trees and history independence
Guy E. Blelloch , Umut A. Acar , Jorge L. Vittes , Robert Harper
symposium on discrete algorithms 531 -540
70
2004
The Cult of the Bound Variable: The 9 th Annual ICFP Programming Contest
Daniel R. Licata , Karl Crary , Daniel Spoonhower , Tom Murphy Vii
2
2006
Karl Crary Guy Blelloch Greg Morrisett Dan Licata David MacQueen Frank Pfenning Umut A. Acar Carlo Angiuli Tom Murphy VII John C Mitchell Mark Lillibridge Gordon Plotkin Kuen-Bang Hou (Favonia) Benjamin C. Pierce Derek Dreyer Jonathan Sterling Matthias Blume Kanat Tangwongsan Phillip Gibbons Lars Birkedal