Types and Programming Languages, chapter 13 (2002)

by Benjamin C Pierce