What is Gradual Typing
Jeremy Siek
Science of Discworld
Pratchett, Terry
To Be or Not To Be
Ryan North
Skinwalker
Hunter, Faith
Programming Elm
Jeremy Fairbank
Haskell Programming from first principles
Chris Allen & Julie Moronuki
Domain Modeling Made Functional
Scott Wlaschin