JCS Cover
Frequency: Monthly
ISSN: 1549-3636 (Print)
ISSN: 1552-6607 (Online)
Research Article Open Access

ML-Style Multi-Abstraction Calculus with Type Inference Algorithm

Azza A. Taha1
  • 1 Ain Shams University, Egypt

Abstract

ML-style multi-abstraction calculus,

Journal of Computer Science
Volume 15 No. 5, 2019, 745-757

DOI: https://doi.org/10.3844/jcssp.2019.745.757

Submitted On: 1 March 2019 Published On: 31 May 2019

How to Cite: Taha, A. A. (2019). ML-Style Multi-Abstraction Calculus with Type Inference Algorithm. Journal of Computer Science, 15(5), 745-757. https://doi.org/10.3844/jcssp.2019.745.757

Open AccessCopyright: © 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,627 Views
  • 1,398 Downloads
  • 0 Citations

Download

Keywords

  • Lambda Calculus
  • Hindley-Milner Type System
  • Contexts
  • Unification
  • Type-Inference Algorithm