Description and comparison of type systems by Gary Bernhardtgist.github.com1 pointlucajulian9 years ago