Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
If first language is rational in the sense that acquisition produces an end-state model of language that is a proper reflection… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents the first comprehensive major and trace element data for � 130 abyssal peridotite samples from the Pacific… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Do animals have rights? Almost everyone believes in animal rights, at least in some minimal sense; the real question is what that… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS). We emphasize that CPS translates… Expand
  • figure 1.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… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
I Pr inces have always sought out soothsayers of one kind or another for the purpose of learning what the future holds. These… Expand
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… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Impreso en la Argentina. Printed in Argentina. Las máscaras son expresiones fijas y ecos admirable s de sentimientos, a un tiempo… Expand
Is this relevant?
Highly Cited
1964
Highly Cited
1964
 
Is this relevant?