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