로버트 하퍼(컴퓨터 과학자)

Robert Harper (computer scientist)
2006년 로버트 하퍼.

로버트 윌리엄 "밥" 하퍼 주니어(1957년생)는 프로그래밍 언어 연구에 종사하는 [1]카네기 멜론 대학의 컴퓨터 공학 교수입니다.카네기 멜론에서 근무하기 전,[2] 하퍼는 에든버러 대학의 연구원이었습니다.

직업

Harper는 Standard ML 프로그래밍 언어와 LF 논리 프레임워크의 설계에 큰 공헌을 했습니다.

Harper는 프로그래밍 언어의 타이프 시스템에 대한 공헌으로 2005년에 ACM 펠로우로 선정되었다.2021년, 그는 "유형 이론과 현대 프로그래밍 [3]언어의 설계, 사양, 구현 및 검증에 대한 우리의 사용에 대한 기초적 공헌"으로 ACM SIGPLAN 프로그래밍 언어 공로상을 받았습니다.

책들

  • 로빈 밀너, 매즈 토프티, 로버트 하퍼, 데이비드 맥퀸.표준 ML의 정의(개정).MIT 프레스, 1997.
  • 로버트 하퍼(편집자)컴파일 내의 유형.Springer-Verlag 컴퓨터 과학 강의 노트, 제2071권, 2001.
  • 로버트 하퍼.프로그래밍 언어를 위한 시스템을 입력합니다.드래프트, 2000년
  • 로버트 하퍼.Standard ML의 프로그래밍. 작업 초안, 2013.
  • 로버트 하퍼.Programming Languages 실용재단, 2007년 초안. 제2판: ISBN1107150302, 2016.

사생활

2003~2008년 하퍼는 WRCT-FM에서 동료 진행자 및 카네기 멜론 대학 컴퓨터 과학부 교수인 대니 슬레이터와 함께 진보적인 토크쇼 'Left Out'을 진행했습니다.

레퍼런스

  1. ^ Harper, Robert (2016). Practical Foundations for Programming Languages (2nd ed.). Cambridge University Press. p. iv.
  2. ^ Robert Harper on Linked인
  3. ^ "Programming Languages Achievement Award". www.sigplan.org. Retrieved 2022-01-27.

참고 문헌


P np NP

컴퓨터 과학자와 관련된 이 전기 기사는 엉터리이다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.