Robert Harper (computer scientist)

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".{{Cite web|title=Programming Languages Achievement Award|url=https://www.sigplan.org/Awards/Achievement/|access-date=2022-01-27|website=www.sigplan.org}}

• Herbert A. Simon Award for Teaching Excellence in Computer Science, CMU.{{Cite web

|title=SCS Faculty Awards

|url=https://www.cs.cmu.edu/~scsfacts/simon.html

|access-date=2024-03-19

|website=www.cs.cmu.edu

|archive-url=https://web.archive.org/web/20020404000802/http://www-2.cs.cmu.edu/~scsfacts/simon.html

|archive-date=2002-04-04}}

• Allen Newell Award for Research Excellence, CMU.{{Cite web

|title=The Allen Newell Award for Research Excellence – Previous Winners

|url=https://www.cs.cmu.edu/events/newell-award-winners

|access-date=2024-03-16

|website=www.cs.cmu.edu

|archive-url=https://web.archive.org/web/20240205041130/https://www.cs.cmu.edu/events/newell-award-winners

|archive-date=2024-02-05}} for research on type-directed compilation.{{refn|The research for

which this award was given resulted in Greg Morrisett's Ph.D. thesis, with Harper as co-advisor,{{Cite web|title=Compiling with Types

|url=https://www.cs.cmu.edu/~rwh/students/morrisett.pdf

|access-date=2024-03-16

|website=www.cs.cmu.edu

|archive-url=

|archive-date=}} a paper by Morrisett and Harper,{{Cite conference

|last1=Harper

|first1=R.

|author-mask1=

|last2=Morrisett

|first2=G.

|authorlink1= Greg Morrisett

|title=Compiling polymorphism with intensional type analysis

|pages=130–141

|date=January 1995

|book-title=POPL '95: Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages

|location=San Francisco, Cal, USA

|publisher=ACM

|doi=10.1145/199448.199475

|doi-access=free

|isbn=978-0-89791-692-9

}} and a few other publications.

}} (2001)

• ACM Fellow, for contributions to type systems. (2005)

• ACM SIGPLAN Most Influential PLDI Paper Award,{{Cite web|title=Most Influential PLDI Paper Award

|url=https://sigplan.org/Awards/PLDI/

|access-date=2024-03-16

|website=www.sigplan.org

|archive-url=

|archive-date=}} for the paper TIL: a type-directed optimizing compiler for ML.{{Cite journal

|last1= Tarditi

|first1= D.

|authorlink1=

|last2= Morrisett

|first2= G.

|authorlink2=Greg Morrisett

|last3= Cheng

|first3= P.

|authorlink3=

|last4= Harper

|first4= R.

|author-mask4=

|last5= Lee

|first5= P.

|authorlink5= Peter Lee (computer scientist)

|title=TIL: a type-directed optimizing compiler for ML

|doi=10.1145/249069.231414

|journal=ACM SIGPLAN Notices

|volume=31

|issue=5

|pages=181–192

|date=May 1996

|s2cid=

|doi-access=free

}} (2006)

• LICS Test-of-Time Award Winner,{{Cite web|title=ACM/IEEE Symposium on Logic in Computer Science

|url=https://lics.siglog.org/archive/test-of-time-award.html

|access-date=2024-03-16

|website=

|archive-url=https://web.archive.org/web/20240313064912/https://lics.siglog.org/archive/test-of-time-award.html

|archive-date=2024-03-13}} for the paper A Framework for defining logics.{{Cite conference

|url=https://lics.siglog.org/archive/1987/index.html

|last3=Plotkin

|first3=G.D.

|authorlink3= Gordon Plotkin

|last2=Honsell

|first2=F.

|author-mask2=

|last1=Harper

|first1=R.

|authorlink1= Furio Honsell

|title=A Framework for defining logics

|pages=194–204

|date=June 1987

|book-title=Proc Second Annual IEEE Symp on Logic in Computer Science (LICS 1987)

|editor1=

|volume=

|publisher=IEEE Computer Society Press

|location= Ithaca, New York

|doi=

|isbn=

}} (2007)

• ACM SIGPLAN Programming Languages Achievement Award, for foundational contributions to type theory and its use. (2021)

• Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
• Robert Harper (editor). [http://link.springer-ny.com/link/service/series/0558/tocs/t2071.htm Types in Compilation]. Springer-Verlag Lecture Notes in Computer Science, volume 2071, 2001.
• Robert Harper. [https://web.archive.org/web/20160303215740/http://www.cs.cmu.edu/~rwh/misc/tspl.pdf Type Systems for Programming Languages]. Draft, 2000.
• Robert Harper. [http://www.cs.cmu.edu/~rwh/isml/book.pdf Programming in Standard ML]. Working Draft, 2013.
• Robert Harper. Practical Foundations for Programming Languages, [https://web.archive.org/web/20070627041059/http://www.cs.cmu.edu/~rwh/plbook/book.pdf 2007 draft]. 2nd edition: {{ISBN|1107150302}}, 2016.

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

{{reflist|1}}

• [http://www.cs.cmu.edu/~rwh/ Robert Harper's Homepage]
• [http://existentialtype.wordpress.com/ Existential Type], Robert Harper's blog
• [http://arxiv.org/a/harper_r_1 Robert Harper's xArchiv site]
• [https://scholar.google.com/citations?user=sCPRIK0AAAAJ&hl=en Robert Harper's Google scholar page]
• [https://orcid.org/0000-0002-9400-2941 Robert Harper's orchid id]

{{Authority control}}

{{DEFAULTSORT:Harper, Robert}}

Category:Programming language researchers

Category:Carnegie Mellon University faculty

Category:Living people

Category:Year of birth missing (living people)

Category:Place of birth missing (living people)

{{compu-scientist-stub}}