Роберт Харпер (ученый-компьютерщик)

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

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

Работа [ править ]

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

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

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

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

^ Харпер, Роберт (2016). Практические основы языков программирования (2-е изд.). Издательство Кембриджского университета. п. iv.

P ≟ NP

Эта биографическая статья, относящаяся к ученому-информатику , незавершена . Вы можете помочь Википедии, расширив ее .