Extraction and imperative programming
The complete source of examples in this chapter
Click here
.
Errata
Page 300, (just before Section 10.2.2).
Read
subst
instead of
Subst
Pierre Castéran