Robert Harper (počítačový vědec) - Robert Harper (computer scientist)

Robert Harper v roce 2006.

Robert William "Bob" Harper, Jr. (narozen 1957 (věk 62–63))^[1]) je počítačová věda profesor ve společnosti Univerzita Carnegie Mellon kdo pracuje v programovací jazyk výzkum.

Práce

Harper významně přispěl k designu Standardní ML programovací jazyk a LF logický rámec.

Harper byl jmenován Člen ACM v roce 2005 za jeho příspěvky pro systémy typu pro programovací jazyky.

V letech 2003–2008 moderovala Harper progresivní talk show Vynecháno na WRCT-FM s hostitelem a Univerzita Carnegie Mellon Člen fakulty School of Computer Science Danny Sleator.

Robin Milner, Mads Tofte, Robert Harper a David MacQueen. Definice standardního ML (revidovaná). MIT Press, 1997.
Robert Harper (redaktor). Typy v kompilaci. Springer-Verlag Lecture Notes in Computer Science, svazek 2071, 2001.
Robert Harper. Typové systémy pro programovací jazyky. Předloha, 2000.
Robert Harper. Programování ve standardním ML. Pracovní návrh, 2013.
Robert Harper. Praktické základy programovacích jazyků, Návrh z roku 2007. 2. vydání: ISBN 1107150302, 2016.

^ Harper, Robert (2016). Praktické základy programovacích jazyků (2. vyd.). Cambridge University Press. str. iv.

P ≟ NP

Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.