Yahoo Suche Web Suche

Suchergebnisse

1. Suchergebnisse:

1. www.cs.cmu.edu › ~rwhRobert Harper's Home Page - CMU School of Computer Science

   www.cs.cmu.edu › ~rwh

   • Im Cache

   Jonathan Sterling and Robert Harper, ML Workshop 2021, August 2021. ( Slides ) Logical Relations as Types: Proof-Relevant Parametricity for Program Modules .

2. Bilder

   • 
   • 
   • 
   • 
   • 

   Alle anzeigen

3. en.wikipedia.org › wiki › Robert_Harper_(actor)Robert Harper (actor) - Wikipedia

   en.wikipedia.org › wiki › Robert_Harper_(actor)

   • Im Cache

   Robert Francis Harper (May 19, 1951 – January 23, 2020) was an American stage, film, and television actor.

   Year	Title	Role	Notes
   1983	13 Thirteenth Avenue	Marv Hoberman	TV movie
   1983	Dempsey	Damon Runyon	TV movie
   1984	Remington Steele	Todd Doke	Episode: "Dreams of Steele"
   1985	Dallas	Emergency Doctor	Episode: "Close Encounters"

   Komplette Liste auf en.wikipedia.org

4. de.wikipedia.org › wiki › Robert_HarperRobert Harper – Wikipedia

   de.wikipedia.org › wiki › Robert_Harper

   • Im Cache

   Robert Harper ist der Name folgender Personen: Robert Harper (Höhlenforscher), britischer Höhlenforscher. Robert Harper (Schauspieler) (1951–2020), US-amerikanischer Film- und Theaterschauspieler. Robert A. Harper (1862–1946), US-amerikanischer Botaniker.

5. Videos

   • 3:56

     youtube.com

     Robert Harper - Skywalker (Official Video)

     6. Sept. 2020

     1.2K Aufrufe

   • 5:41

     youtube.com

     Robert Harper -Tha Bomb (Official Video)

     25. Nov. 2021

     8.1K Aufrufe

   • 7:56

     youtube.com

     Robert Harper - He's Able

     15. Juli 2015

     11.1K Aufrufe

   Alle anzeigen

6. en.wikipedia.org › wiki › Robert_Harper_(computer_scientist)Robert Harper (computer scientist) - Wikipedia

   en.wikipedia.org › wiki › Robert_Harper_(computer_scientist)

   • Im Cache

   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.

7. scholar.google.com › citations‪Robert Harper‬ - ‪Google Scholar‬

   scholar.google.com › citations

   • Im Cache

   ‪Professor of Computer Science, Carnegie Mellon University‬ - ‪‪Cited by 20,127‬‬ - ‪Programming Languages‬ - ‪Type Theory‬ - ‪Proof Theory‬ - ‪Semantics.‬.

8. conf.researchr.org › profile › robertharper1Robert Harper

   conf.researchr.org › profile › robertharper1

   • Im Cache

   Robert Harper is a Professor of Computer Science at Carnegie Mellon University, where he has been on faculty since 1988. He is author of Practical Foundations of Programming Languages and is an ACM Fellow. Research interests: Programming languages, type theory, logical frameworks.