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