Ali Faour

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Mourad Debbabi, Zahia Aïdoud, Ali Faour
On the Inference od Structured Recursive Effects with Subtyping. J. Funct. Log. Program. 1997 (5) (1997)
Mourad Debbabi, Ali Faour, Nadia Tawbi
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs. Implementation of Functional Languages (1996)