IFLtut
S. L. Peyton Jones, D. R. Lester: Implementing Functional Language: a tutorial