추천사 시작하며 1장 타입 검사 훑어보기 1.1 타입 검사의 정의와 필요성 1.2 정적 타입 언어 1.3 타입 검사의 원리 1.4 타입 검사 결과의 활용 1.5 타입 추론 1.6 더 세밀한 타입 1.7 정적 타입 언어의 장단점 1.8 다형성 2장 서브타입에 의한 다형성 2.1 객체와 서브타입 2.2 집합론적 타입 2.3 함수와 서브타입 3장 매개변수에 의한 다형성 3.1 제네릭 함수 3.2 제네릭 타입 3.3 무엇이든 타입 3.4 무엇인가 타입 4장 두 다형성의 만남 4.1 제네릭 클래스와 상속 4.2 타입 매개변수 제한 4.3 가변성 5장 오버로딩에 의한 다형성 5.1 오버로딩 5.2 메서드 오버라이딩 5.3 타입클래스 5.4 카인드 마치며 감사의 글 찾아보기