程序设计语言理论02.pdf

Theory of Programming Languages 程序设计语言理论程序设计语言理论 张昱 SScooll of C f Computter S Sciience an d Td Techhnollogy University of Science and Technology of China September, 2009 Yu Zhang, USTC 第第22章章 PCFPCF语言语言-代数数据类型代数数据类型 [FPL Ch2, Ch3] 简要介绍简要介绍PCFPCF语言的组成部分之一语言的组成部分之一：：布尔类型和布尔类型和 自然数类型这些代数数据类型。 介绍定义和研究代数数据类型的一般数学框架介绍定义和研究代数数据类型的一般数学框架