Ali Faour

According to our database, Ali Faour authored at least 2 papers between 1996 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

On the Inference od Structured Recursive Effects with Subtyping.

Mourad Debbabi, Zahia Aïdoud, Ali Faour

J. Funct. Log. Program., 1997

1996

A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs.

Mourad Debbabi, Ali Faour, Nadia Tawbi

Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996