函数式语言编译中多态类型的实现技术
IMPLEMENTATION TECHNIQUES OF POLYMORPHIC TYPES IN FUNCTIONAL PROGRAMMING LANGUAGE COMPILERS作者机构：江西师范大学计算机科学系
出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期：1995年第32卷第11期
页 面：8-15页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：函数式程序设计语言的重要特点之一是多态类型（Ｐｏｌｙｍｏｒｐｈｉｃｔｙｐｅｓ）。它有很强的功能，是所有面向对象的程序设计语言实现多态性的重要机制之一。它的实现与基本数据类型和其它复合类型大不相同。本文给出实现多态类型的重要数据结构，通过剖析ＳＭＬ函数式程序设计语言编译程序中的类型推导过程，揭示了多态类型的基本特征及其实现技术。
维普期刊数据库
同方期刊数据库