Essentials of Programming Languages - 2nd Edition

When defining a procedure that operates on inductively defined data, the structure of the program should be patterned after the structure of the data.

......(更多)