의존적 타입 객체지향 프로그래밍의 원리로부터 유도된 확장 버전과 부록 추가

의존적 타입 객체지향 프로그래밍의 원리를 이해하고 새로운 프로그래밍 언어의 설계에 적용하는 중요성