검색 결과

검색어를 입력하세요.

Types and Programming Languages

기술 > 프로그래밍 > 학습 자료 | 익명 | 2025-09-23 | 조회수 1

# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...

#타입 이론 #프로그래밍 언어 #λ-대수 #타입 시스템 #다형성 #타입 추론 #형식 방법 #함수형 프로그래밍 #고급