Contributors to notes-computer-programming-programmingLanguageDesign-cheri thoughts