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

  • 3,697 Views
  • 1,466 Downloads
  • 0 Citations

Download

Keywords

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