1987
Search results
Robert Francis Harper (May 19, 1951 – January 23, 2020) was an American stage, film, and television actor.
Jonathan Sterling and Robert Harper, ML Workshop 2021, August 2021. ( Slides ) Logical Relations as Types: Proof-Relevant Parametricity for Program Modules .
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 .
Robert Harper was born on 19 May 1951 in New York City, New York, USA. He was an actor, known for Creepshow (1982), Once Upon a Time in America (1984) and The War of the Roses (1989). He was married to Sascha Noorthoorn van der Kruyff and Lisa Pelikan. He died on 23 January 2020 in Rotterdam, Netherlands.
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.
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.
Programming in Standard ML (DRAFT: VERSION 1.2 OF 11.02.11.) Robert Harper Carnegie Mellon University Spring Semester, 2011
