Contributors to notes-programming-programmingLanguageDesign-prosAndCons-typeSystemsForConcurrency