文章基本信息
- 标题：ML-Style Multi-Abstraction Calculus with Type Inference Algorithm
- 本地全文：下载
- 作者：Taha, Azza A.
- 期刊名称：Journal of Computer Science
- 印刷版ISSN：1549-3636
- 出版年度：2019
- 卷号：15
- 期号：5
- 页码：745-757
- DOI：10.3844/jcssp.2019.745.757
- 出版社：Science Publications
- 摘要：ML-style multi-abstraction calculus,
- 关键词：Lambda Calculus; Hindley-Milner Type System; Contexts; Unification; Type-Inference Algorithm
