Robert Harper (informatician) - Robert Harper (computer scientist)

Robert Harper în 2006.

Robert William „ Bob ” Harper, Jr. (născut în 1957 (63–64 ani)) este profesor de informatică la Universitatea Carnegie Mellon, care lucrează în cercetarea limbajului de programare . Înainte de funcția sa la Carnegie Mellon, Harper a fost cercetător la Universitatea din Edinburgh .

Muncă

Harper a adus contribuții majore la proiectarea limbajului de programare Standard ML și a cadrului logic LF .

Harper a fost numit Fellow ACM în 2005 pentru contribuțiile sale la sisteme de tip pentru limbaje de programare.

În 2003-2008, Harper a găzduit talk-show-ul progresiv Left Out pe WRCT-FM alături de colegul gazdă și de Danny Sleator, membru al facultății Facultății de Științe Informatice a Universității Carnegie Mellon .

Robin Milner , Mads Tofte , Robert Harper și David MacQueen . Definiția standardului ML (revizuit) . MIT Press, 1997.
Robert Harper (editor). Tipuri în Compilație . Springer-Verlag Lecture Notes in Computer Science, volumul 2071, 2001.
Robert Harper. Tip sisteme pentru limbaje de programare . Proiect, 2000.
Robert Harper. Programare în ML standard . Proiect de lucru, 2013.
Robert Harper. Fundamente practice pentru limbaje de programare , proiect 2007 . Ediția a II-a: ISBN 1107150302 , 2016.

P ≟ NP

Acest articol biografic referitor la un om de știință în informatică este un butuc . Puteți ajuta Wikipedia extinzându-l .