I wrote the three tutorials listed below. The first two are part of Benjamin Pierce et al's Software Foundations course.