Contributors to books-programmingLanguages-programmingLanguagesPartTypeSystems