@article {10.3844/jcssp.2019.745.757,
article_type = {journal},
title = {ML-Style Multi-Abstraction Calculus with Type Inference Algorithm},
author = {Taha, Azza A.},
volume = {15},
number = {5},
year = {2019},
month = {May},
pages = {745-757},
doi = {10.3844/jcssp.2019.745.757},
url = {https://thescipub.com/abstract/jcssp.2019.745.757},
abstract = {ML-style multi-abstraction calculus, },
journal = {Journal of Computer Science},
publisher = {Science Publications}
}