Types and Programming Languages (2002)

by B C Pierce