|
|||||
|
|
| ML核心语言的意外机制的同式多型类型检验 | |
| 引用本文： | 江明德.ML核心语言的意外机制的同式多型类型检验[J].科学通报,1988,33(21):1674-1674. |
| 作者姓名： | 江明德 |
| 作者单位： | 电子科学技术大学 成都 |
| 基金项目： | 电子工业部科技发展基金 |
| 摘 要： | 一、前言 ML语言的意外机制颇具特色。它是这样的一种方法,用以得到“动态捕获意外情形”的方便,而又不冒破坏类型规程的危险,并且,仍然容许同式多型惹起意外(exception-raising)表达式。 本文讨论ML语言意外机制的同式多型类型检验:将各有关的类型推理法则表达成自然推理系统中法则的形式。 |
| 关 键 词： | 意外机制 同式多型类型 ML语言 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |