1. 6

There is also a POPL version of this paper, which is longer but has fewer illustrations.

  1.