程序设计语言理论.pdf

Theory of Programming Languages 程序设计语言理论程序设计语言理论 张昱 SSchhooll of C f Computter S Sciience an d Td Techhnollogy University of Science and Technology of China November, 2009 Yu Zhang, USTC 第第44章章 递归函数和递归类型递归函数和递归类型 [FPL Ch2, Ch5, Ch7] 简要介绍PCF语言的组成部分之三：递归函数和递 归类型归类型.. 介绍类型化演算(递归函数和递归类型)的 递归函数和不动点算子递归函数和不动点算子 递归类型