Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of University of Electronic Science and Technology of China》 1989-01
Add to Favorite Get Latest Update

POLYMORPHISM OF DAT-ATYPE AND ABSTRACT-TYPE IN ML CORE LANGUAGE

Jiang Yuan Mingde jiansheng (Dept.of Computer Science)  
In this paper expounded are the theoretical and implementation aspects upon which the polymorphism of data (abbreviation), data-type, and abstract-type in ML core language is based.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【Citations】
Chinese Journal Full-text Database 1 Hits
1 Jiang Mingde (Chengdu Institute of Telecommunication Engineering);Polymorphic Typechecking by use of PROLOG[J];Mini-micro Systems;1988-04
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved