A theory of type polymorphism in programmingby Robin MilnerWriting a summary for young readers…For young readersBook data: Open Library