Contributors to notes-computer-programming-programmingLanguageDesign-prosAndCons-dependentTypes