TY  - JOUR
AU  - Taha, Azza A. 
PY  - 2019
TI  - ML-Style Multi-Abstraction Calculus with Type Inference Algorithm
JF  - Journal of Computer Science
VL  - 15
IS  - 5
DO  - 10.3844/jcssp.2019.745.757
UR  - https://thescipub.com/abstract/jcssp.2019.745.757
AB  - ML-style multi-abstraction calculus,