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