A Primer on Type Systems(2018)(cs.uaf.edu)

https://www.cs.uaf.edu/users/chappell/public_html/class/2018_spr/cs331/docs/types_primer.html