Yahoo Web Search

Search results

  1. Robert Francis Harper (May 19, 1951 – January 23, 2020) was an American stage, film, and television actor. Early life [ edit ] Raised in Middletown Township, New Jersey , he attended Mater Dei High School . [2]

    • 1978–2006
  2. www.imdb.com › name › nm0363948Robert Harper - IMDb

    Robert Harper (1951-2020) was an American actor who appeared in Creepshow, Once Upon a Time in America, The War of the Roses and more. He was born in New York City, married twice, and died of cancer in Rotterdam, Netherlands.

    • January 1, 1
    • New York City, New York, USA
    • January 1, 1
    • Rotterdam, Netherlands
  3. Yue Niu and Robert Harper. LICS, Boston, June 2023. Termination-Insensitive Non-Interference. Jonathan Sterling and Robert Harper. FSCD, August 2022. A Cost-Aware Logical Framework . Yue Niu, Jonathan Sterling, Harrison Grodin, and Robert Harper. ACM PoPL Conference, January, 2022.

  4. Robert William "Bob" Harper, Jr. (born 1957 (age 66–67)) is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh .

  5. Robert Francis Harper (May 19, 1951 – January 23, 2020) was an American actor. He was best known for his role as Sharkey in Once Upon a Time in America . Harper also played Charlie Gereson in Creepshow and Bubba 'Si' Weisberger in the CBS sitcom Frank's Place .

    • 23 January 2020 (age 68)
    • Rutgers
    • 1978–2006
  6. Practical Foundations for Programming Languages (Second Edition) by Robert Harper. Cambridge University Press, 2016. My purpose in writing this book is to establish a comprehensive framework for formulating and analyzing a broad range of ideas in programming languages. If language design and programming methodology are to advance from a trade ...

  7. Mechanizing metatheory in a logical framework. R Harper, DR Licata. Journal of functional programming 17 (4-5), 613-673. , 2007. 153. 2007. Articles 1–20. ‪Professor of Computer Science, Carnegie Mellon University‬ - ‪‪Cited by 19,839‬‬ - ‪programming languages‬.

  8. People also ask

  1. People also search for