A Type Primer, Kane, John

This textbook covers both theory and hands-on exercises in equal measure.