EoPL
Essentials of Programming Languages (second edition)
§1.1 Recursively Specified Data
§1.1.1 Inductive Specification
(pp. 3--8)
Exercise 1.1
Exercise 1.2
Exercise 1.3
2007.10.8
入手。2007.10.11
Chapter 1 - Inductive Sets of Data§1.1 Recursively Specified Data
§1.1.1 Inductive Specification
2007.10.15
§1.1.2 Defining Sets of Values with Backus-Naur Form(pp. 3--8)
Exercise 1.1
Exercise 1.2
Exercise 1.3
2007年11月06日(火) 01:36:35 Modified by naoya_t