Роберт Харпер (специалист по информатике)

редактировать

Роберт Харпер в 2006 году.

Роберт Уильям «Боб » Харпер-младший (родился в 1957 году (возраст 62–63)), профессор информатики в Университете Карнеги-Меллона, работает с языком программирования исследование.

Содержание

Харпер внес большой вклад в разработку Стандартный язык программирования ML и логическая структура LF.

Харпер был назван стипендиатом ACM в 2005 году за его вклад в системы типов для языков программирования.

В 2003–2008 годах Харпер вела прогрессивное ток-шоу Left Out на WRCT-FM с другими ведущими и Университет Карнеги-Меллона Преподаватель факультета компьютерных наук Дэнни Слейтор.

Робин Милнер, Мэдс Тофте, Роберт Харпер и. Определение Standard ML (пересмотренное). MIT Press, 1997.
Роберт Харпер (редактор). Типы в компиляции. Лекционные заметки Springer-Verlag по информатике, том 2071, 2001.
Роберт Харпер. Системы типов для языков программирования. Проект, 2000.
Роберт Харпер. Программирование в стандартном ML. Рабочий проект, 2013.
Роберт Харпер. Практические основы языков программирования, 2007 черновик. 2-е издание: ISBN 1107150302, 2016.