1장. 소개
1.1 함수형 데이터 구조와 명령형 데이터 구조 비교
1.2 미리 계산하는 언어와 지연 계산 언어
1.3 용어
1.4 접근 방법
1.5 이 책의 개요
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 스플레이 힙
5.5 페어링 힙
5.6 나쁜 소식
5.7 참고사항
6장. 지연 계산을 통해 분할 상환과 영속성을 동시에 달성하기
6.1 실행 트레이스와 논리적 시간
6.2 영속성과 분할 상환 사이를 중재하기
6.2.1 지연 계산의 역할
6.2.2 지연 계산 데이터 구조를 분석하기 위한 프레임워크
6.3 은행원 기법
6.3.1 은행원 기법의 정당성
6.3.2 예제: 큐
6.3.3 부채 상속
6.4 물리학자 기법
6.4.1 예제: 이항 힙
6.4.2 예제: 큐
6.4.3 예제: 공유를 사용하는 상향식 병합 정렬
6.5 지연 계산 페어링 힙
6.6 참고사항
7장. 분할 상환 없애기
7.1 스케줄링
7.2 실시간 질의
7.3 이항 힙
7.4 공유를 사용한 상향식 병합 정렬
7.5 참고사항
8장. 지연 재구축
8.1 일괄 재구축
8.2 전역 재구축
8.2.1 예제: 후드-멜빌 실시간 큐
8.3 지연 재구축
8.4 양방향 큐
8.4.1 출력이 제한된 데크
8.4.2 은행원의 데크
8.4.3 실시간 데크
8.5 참고사항
9장. 수치적 표현
9.1 위치에 기반한 수 체계
9.2 이진수
9.2.1 이진 임의 접근 리스트
9.2.2 영이 없는 표현들.
9.2.3 지연 계산 표현
9.2.4 조각을 사용하는 표현
9.3 치우친 이진수
9
