Research ArticleOpen accessIn the keywordsML-Style Multi-Abstraction Calculus with Type Inference AlgorithmAzza A. TahaML-style multi-abstraction calculus, …Journal of Computer Science, Vol. 15, Issue 5 · 31 May 2019 · 7,228 accessesView PDFCiteShare