Resultado da Busca
Robert Harper is a professor of computer science at Carnegie Mellon University, known for his work on functional programming, logical frameworks, and cost analysis. He has published several books and papers, received many awards and honors, and collaborates with students and researchers in various fields.
Robert Harper is a computer science professor at Carnegie Mellon University who works in programming language research. He is known for his contributions to type systems, Standard ML, LF logical framework, and functional programming.
Practical Foundations for Programming Languages (Second Edition) by Robert Harper. Cambridge University Press, 2016. From the Preface to the Second Edition: My purpose in writing this book is to establish a comprehensive framework for formulating and analyzing a broad range of ideas in programming languages.
Robert Harper (1951-2020) was an American stage, film, and television actor. He appeared in films such as Once Upon a Time in America and Creepshow, and TV shows such as Frank's Place and L.A. Law.
YearTitleRoleNotes1983Marv HobermanTV movie1983Damon RunyonTV movie1984Todd DokeEpisode: "Dreams of Steele"1985Emergency DoctorEpisode: "Close Encounters"Robert Harper is a professor of computer science at Carnegie Mellon University, known for his work on programming languages, type theory, proof theory and semantics. His Google Scholar profile lists his publications, citations, h-index, i10-index and co-authors in various fields of computer science.
RobertHarper. I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
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.