Static and Dynamic Types for Functional Languages - Pedro Jorge Fernandes Angelo (2017)