To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
Great Wikipedia has got greater.
.
Leo
Newton
Brights
Milds

Robert Harper (computer scientist)

From Wikipedia, the free encyclopedia

Robert Harper
Robert Harper in 2006
Born
Robert William Harper, Jr.

(1957-07-15) July 15, 1957 (age 66)
Other namesBob Harper
Education
Known for
Awards
  • ACM Fellow, 2005
  • ACM SIGPLAN Most Influential PLDI Paper, 2006
  • LICS Test of Time Award, 2007
  • ACM SIGPLAN Prog Lang Achievement Award, 2021
Scientific career
FieldsComputer science
Institutions
Doctoral students
Websitewww.cs.cmu.edu/~rwh/

Robert William "Bob" Harper, Jr. (born 1957 (age 66–67)[2]) 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.[3]

YouTube Encyclopedic

  • 1/3
    Views:
    2 276
    20 363
    5 291
  • Some quotes from Robert Harper
  • Type Theory Foundations, Lecture 1
  • storyville The Genious and the Boys

Transcription

Career

Harper made major contributions to the design of the Standard ML programming language and the LF logical framework.

Harper was named an ACM Fellow in 2005 for his contributions to type systems for programming languages. In 2021, he received the ACM SIGPLAN Programming Languages Achievement Award for his "foundational contributions to our understanding of type theory and its use in the design, specification, implementation, and verification of modern programming languages".[4]

Awards

  • Herbert A. Simon Award for Teaching Excellence in Computer Science, CMU.[5]
  • Allen Newell Award for Research Excellence, CMU.[6] for research on type-directed compilation.[9] (2001)
  • ACM SIGPLAN Most Influential PLDI Paper Award,[10] for the paper TIL: a type-directed optimizing compiler for ML.[11] (2006)
  • LICS Test-of-Time Award Winner,[12] for the paper A Framework for defining logics.[13] (2007)
  • ACM SIGPLAN Programming Languages Achievement Award, for foundational contributions type theory and its use.[14] (2021)

Books

  • Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
  • Robert Harper (editor). Types in Compilation. Springer-Verlag Lecture Notes in Computer Science, volume 2071, 2001.
  • Robert Harper. Type Systems for Programming Languages. Draft, 2000.
  • Robert Harper. Programming in Standard ML. Working Draft, 2013.
  • Robert Harper. Practical Foundations for Programming Languages, 2007 draft. 2nd edition: ISBN 1107150302, 2016.

Personal life

In 2003–2008, Harper hosted the progressive talk show Left Out on WRCT-FM with fellow host and Carnegie Mellon University School of Computer Science faculty member Danny Sleator.

References

  1. ^ a b c Robert Harper at the Mathematics Genealogy Project
  2. ^ Harper, Robert (2016). Practical Foundations for Programming Languages (2nd ed.). Cambridge University Press. p. iv.
  3. ^ Robert Harper on LinkedIn
  4. ^ "Programming Languages Achievement Award". www.sigplan.org. Retrieved 2022-01-27.
  5. ^ "SCS Faculty Awards". www.cs.cmu.edu. Archived from the original on 2002-04-04. Retrieved 2024-03-19.
  6. ^ "The Allen Newell Award for Research Excellence – Previous Winners". www.cs.cmu.edu. Archived from the original on 2024-02-05. Retrieved 2024-03-16.
  7. ^ "Compiling with Types" (PDF). www.cs.cmu.edu. Retrieved 2024-03-16.
  8. ^ Harper, R.; Morrisett, G. (January 1995). "Compiling polymorphism with intensional type analysis". POPL '95: Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages. San Francisco, Cal, USA: ACM. pp. 130–141. doi:10.1145/199448.199475. ISBN 978-0-89791-692-9.
  9. ^ The research for which this award was given resulted in Greg Morrisett's Ph.D. thesis, with Harper as co-advisor,[7] a paper by Morrisett and Harper,[8] and a few other publications.
  10. ^ "Most Influential PLDI Paper Award". www.sigplan.org. Retrieved 2024-03-16.
  11. ^ Tarditi, D.; Morrisett, G.; Cheng, P.; Harper, R.; Lee, P. (May 1996). "TIL: a type-directed optimizing compiler for ML". ACM SIGPLAN Notices. 31 (5): 181–192. doi:10.1145/249069.231414.
  12. ^ "ACM/IEEE Symposium on Logic in Computer Science". Archived from the original on 2024-03-13. Retrieved 2024-03-16.
  13. ^ Harper, R.; Honsell, F.; Plotkin, G.D. (June 1987). "A Framework for defining logics". Proc Second Annual IEEE Symp on Logic in Computer Science (LICS 1987). Ithaca, New York: IEEE Computer Society Press. pp. 194–204.
  14. ^ "Programming Languages Achievement Award". www.sigplan.org. Archived from the original on 2023-12-08. Retrieved 2024-03-16.

External links


P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

This page was last edited on 10 May 2024, at 01:12
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.
Contact WIKI 2
Introduction
Terms of Service
Privacy Policy