Robert Harper (computer scientist)

Known as: Robert Harper 
Robert "Bob" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He made… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
We introduce System FC, which extends System F with support for non-syntactic type equality. There are two main extensions: (i… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
  • A N N E T T E M E N Z E L, M H S Pa R K S W, N I C O L E E S T R E L L A, +13 authors J H Va N V L I E T
  • 2006
Global climate change impacts can already be tracked in many physical and biological systems; in particular, terrestrial… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
2006
2006
We consider an organization in which two activities need to be coordinated with each other (standardization), and yet also need… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Three closely related groups of unicellular organisms (ciliates, dinoflagellates and apicomplexans) have adopted what might be… (More)
  • figure 1
  • figure 2
  • figure I
Is this relevant?
1999
1999
Higher-order, typed logic programming languages such as lambda-Prolog and Twelf have emerged in this last decade as the solution… (More)
  • figure 10.1
  • figure 13.2
  • figure 13.4
  • figure 13.5
  • figure 13.8
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We investigate whether the 7r-calculus is able to serve as a good foundation for the design and implementation of a strongly… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Models of Memory Management The Harvard community has made this article openly available. Please share how this access benefits… (More)
  • figure 3
  • figure 4
Is this relevant?
1994
1994
Languages that support abstraction and modular structure, such as Standard ML, Modula, Ada, and (more or less) C++, may have… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The central component of standard approaches to compile-time program analysis is an abstract domain for approximating program… (More)
Is this relevant?
1988
1988
This paper describes an implementation within Nuprl of mechanisms that support the use of Nuprl's type theory as a language for… (More)
Is this relevant?