|
|||||
|
|
POLYMORPHIC TYPECHECKING FOR THE EXCEPTION MECHANISM IN ML CORE LANGUAGE |
|
| Affiliation: | JIANG MING-DE (University of Electronics Science and Technology of China, Chengdu 610054, PRC) |
| Abstract: | |
| Keywords: | polymorphic typecheeking exception mechanism ML language |
| 点击此处可从《科学通报(英文版)》浏览原始摘要信息 | |
| 点击此处可从《科学通报(英文版)》下载全文 | |