函数程序设计加上统一化
Functional programming plus unification
函数程序设计语言
functional programming language
约束函数程序设计
constraint functional programming
高阶程序程序设计语言
high level procedural programming language
泛函程序设计语言
functional programming language
多型程序设计语言
polymorphic programming language
泛型程序设计
generic programming design
generic programming
低阶程序设计设施
low level programming facility
面向过程程序设计
process-oriented programming
Nevanlinna计数函数
Nevanlinna counting function
Nevalinna counting function