1987
Resultado de búsqueda
View the profiles of people named Robert Harper. Join Facebook to connect with Robert Harper and others you may know.
- Papers
- Talks
- Students
- Collaborators
- Books
- Courses
- Honors and Awards
- Conferences and Workshops
- Web Sites
- Research Funding
Termination-Insensitive Non-Interference. Jonathan Sterling and Robert Harper. FSCD 2022, August 2022.A Cost-Aware Logical Framework. Yue Niu, Jonathan Sterling, Harrison Grodin, and Robert Harper. ACM PoPL Conference, January, 2022. (Repository: Calf in Agda.)Integrating Cost and Behavior in Type Theory. Plenary invited lecture for CALCO and MFPS, Bloomington, June 21, 2023.Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997. (Available at SML Family Web Site.)Robert Harper (editor). Types in Compilation. Springer-Verlag Lecture Notes in Computer Science volume , 2001.Robert Harper. Programming in Standard ML. Draft, 2013.Robert Harper. Practical Foundations for Programming Languages (Second Edition)15-312/15-652: Principles of Programming Languages (Spring 2023).IEEE Symposium on Logic in Computer Science Test of Time Award, 2007.Air Force Office of Scientific Research through MURI grant FA9550-21-0009, Tristan Nguyen, program manager.Air Force Office of Scientific Research under award number FA9550-21-1-0385, Tristan Nguyen, program manager.National Science Foundation grant CCF-1901381, "Algorithmic λ-Calculus for the Design, Analysis, and Implementation of Parallel Algorithms."Robert Francis Harper (May 19, 1951 – January 23, 2020 [1]) was an American stage, film, and television actor. Early life. Raised in Middletown Township, New Jersey, he attended Mater Dei High School. [2] . He graduated with honors from Rutgers University with a degree in English literature. [3] Career.
YearTitleRoleNotes1983Marv HobermanTV movie1983Damon RunyonTV movie1984Todd DokeEpisode: "Dreams of Steele"1985Emergency DoctorEpisode: "Close Encounters"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 William "Bob" Harper, Jr. (nacido en 1957 (entre 66 y 67 años)) es profesor de informática en la Universidad Carnegie Mellon y trabaja en la investigación de lenguajes de programación. Antes de ocupar su puesto en Carnegie Mellon, Harper fue investigador en la Universidad de Edimburgo.
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.
Home. > Journals. > Journal of Functional Programming. > Volume 32. > On being a PhD student of Robert Harper. Access Open access. English. Français. On being a PhD student of Robert Harper. Part of: Robert Harper Festschrift Collection. Published online by Cambridge University Press: 13 January 2022. DEREK DREYER and. BENJAMIN C. PIERCE. Article.
