Philip WadlerBooksPractical Aspects of Declarative LanguagesIntroduction to ComputationFunctional Programming, Glasgow 1991Functional and Logic ProgrammingJava Generics and CollectionsAuthor data: Open Library