유형 및 프로그래밍 언어

Types and Programming Languages

유형 및 프로그래밍 언어, ISBN0-262-16209-1은 벤자민 C의 책이다. 2002년에 발행된 타입 시스템에 피어스.

프랭크 페닝의 리뷰는 이 책을 "아마 최근 [1]몇 년간 프로그래밍 언어 분야에서 가장 중요한 책일 것"이라고 평가했다.

레퍼런스

  1. ^ Pfenning, Frank (June 2004). "review of Types and Programming Languages by Benjamin C. Pierce". The Bulletin of Symbolic Logic. Association for Symbolic Logic. 10 (2): 213–214. doi:10.1017/s1079898600003954. JSTOR 3176763.

외부 링크

Stub icon 1 Stub icon 2

컴퓨터 책이나 일련의 책에 관한 이 기사는 짧은 글이다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.