Robert Harper (datavetare)

Robert Harper 2006.

Robert William " Bob " Harper, Jr. (född 1957 (ålder 65–66)) är en professor i datavetenskap vid Carnegie Mellon University som arbetar med forskning om programmeringsspråk . Innan han började på Carnegie Mellon var Harper forskarassistent vid University of Edinburgh .

Karriär

Harper gjorde stora bidrag till utformningen av standard ML programmeringsspråk och LF logiska ramverk .

Harper utsågs till ACM Fellow 2005 för sina bidrag till typsystem för programmeringsspråk. 2021 fick han ACM SIGPLAN Programming Language Achievement Award för sina "grundläggande bidrag till vår förståelse av typteori och dess användning i design, specifikation, implementering och verifiering av moderna programmeringsspråk".

Böcker

• Robin Milner , Mads Tofte , Robert Harper och David MacQueen. Definitionen av standard ML (reviderad) . MIT Press, 1997.
• Robert Harper (redaktör). Typer i kompilering . Springer-Verlag Lecture Notes in Computer Science, volym 2071, 2001.
• Robert Harper. Typ System för programmeringsspråk . Utkast, 2000.
• Robert Harper. Programmering i Standard ML . Arbetsutkast, 2013.
•   Robert Harper. Praktiska grunder för programmeringsspråk, 2007 utkast . 2:a upplagan: ISBN 1107150302 , 2016.

Privatliv

2003–2008 var Harper värd för den progressiva talkshowen Left Out på WRCT-FM tillsammans med kollegan och Carnegie Mellon University School of Computer Science-fakultetsmedlemmen Danny Sleator .

Bibliografi

• Robert Harpers hemsida
• Existential Type , Robert Harpers blogg