功能程序的设计 一种计算方法The Design of Functional Programs A Calculational Approach
该文档说明了可以在何种程度上以计算方式设计功能程序。 这项研究是关于编程的设计活动。 它与编程语言,包括的形式语义无关,也与实现无关。
下载地址
用户评论
