[quag]

The free book on partial evaluations: http://www.itu.dk/people/sestoft/pebook/

[sestep]

Is the book enlightening beyond what one can learn from sources like this post and the aforementioned paper by Rompf and Amin? I'm trying to decide whether I should spend the time to dig deeper into it.