검색 결과

"단순 타입 λ-대수"에 대한 검색 결과 (총 1개)

Types and Programming Languages

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

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

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