Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementationby Andrew KennedyWriting a summary for young readers…For young readersBook data: Open Library