文件名称：Categorical combinators, Sequential Algorithms, and Functional Programming
文件大小：3.17MB
文件格式：DJVU
更新时间：2018-01-01 18:53:25
Functional Programming Category theory
give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming languages.