ML-Style Multi-Abstraction Calculus with Type Inference Algorithm
- 1 Ain Shams University, Egypt
Abstract
ML-style multi-abstraction calculus,
DOI: https://doi.org/10.3844/jcssp.2019.745.757
Copyright: © 2019 Azza A. Taha. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
- 3,697 Views
- 1,466 Downloads
- 0 Citations
Download
Keywords
- Lambda Calculus
- Hindley-Milner Type System
- Contexts
- Unification
- Type-Inference Algorithm