프로그래밍언어론
$19.28
SKU
9791156000884
[Free shipping over $100]
Standard Shipping estimated by Fri 05/10 - Thu 05/16 (주문일로부 10-14 영업일)
Express Shipping estimated by Tue 05/7 - Thu 05/9 (주문일로부 7-9 영업일)
* 안내되는 배송 완료 예상일은 유통사/배송사의 상황에 따라 예고 없이 변동될 수 있습니다.
| Publication Date | 2023/01/31 |
| Pages/Weight/Size | 175*235*20mm |
| ISBN | 9791156000884 |
| Categories | IT 모바일 > 프로그래밍 언어 |
Contents
제Ⅰ편 용어 및 기본 개념
제1장 Syntax와 Grammar
제2장 형식언어이론
제3장 프로그래밍언어의 문법구조(Syntax)
제4장 프로그래밍언어의 의미구조(Semantics)
제5장 유효범위(Scope)와 타입(Type)
제Ⅱ편 하스켈로 알아보는 의미구조와 타입 시스템
제6장 람다계산법과 하스켈
제7장 산술식을 히스켈로 다루기
제8장 매개변수 다형성(Parametric Polyorphism)
제9장 함수에 대한 값계산
제10장 함수, 산술식, 조건식을 포함하는 언어에 대한 값계산
제Ⅲ편 문법분석과 타입유추
제11장 문법분석
제12장 타입검사와 타입유추
제13장 타입유츄, 더 많이
제14장 타입유추, 더욱 더 많이
제1장 Syntax와 Grammar
제2장 형식언어이론
제3장 프로그래밍언어의 문법구조(Syntax)
제4장 프로그래밍언어의 의미구조(Semantics)
제5장 유효범위(Scope)와 타입(Type)
제Ⅱ편 하스켈로 알아보는 의미구조와 타입 시스템
제6장 람다계산법과 하스켈
제7장 산술식을 히스켈로 다루기
제8장 매개변수 다형성(Parametric Polyorphism)
제9장 함수에 대한 값계산
제10장 함수, 산술식, 조건식을 포함하는 언어에 대한 값계산
제Ⅲ편 문법분석과 타입유추
제11장 문법분석
제12장 타입검사와 타입유추
제13장 타입유츄, 더 많이
제14장 타입유추, 더욱 더 많이