Gamma 程序的演算 电子书下载

原名:A calculus of Gamma programs
作品简介:Gamma 程序的演算。克里斯·汉金、丹尼尔·勒·梅泰尔、大卫·桑兹。引用这个版本：Chris Hankin、Daniel Le Métayer、David Sands。……