Yahoo Suche Web Suche

Anmelden

Suchergebnisse

  1. Suchergebnisse:

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

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

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

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

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

    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.

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

    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. scholar.google.com › citations‪Robert Harper‬ - ‪Google Scholar‬

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

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

    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.

  7. www.cs.cmu.edu › ~rwh › pfplPractical Foundations for Programming Languages - CMU School of...

    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.