ML-Style Multi-Abstraction Calculus with Type Inference Algorithm

Taha, Azza;

Other data

Title ML-Style Multi-Abstraction Calculus with Type Inference Algorithm
Authors Taha, Azza 
Issue Date 2019
Journal Journal of Computer Science 
Volume 15
Issue 5
Start page 745
End page 757

Recommend this item

Similar Items from Core Recommender Database

Google ScholarTM

Check



Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.