编程与类型系统（微软资深工程师撰写，从实际应用角度，系统阐述如何使用类型系统编写更好、更安全的代码） (华章程序员书库)

弗拉德·里斯库迪亚(Vlad Riscutia)