A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs. - Mourad Debbabi; Ali Faour; Nadia Tawbi (Implementation of Functional Languages, 1996)

On the Inference od Structured Recursive Effects with Subtyping. - Mourad Debbabi; Zahia Aïdoud; Ali Faour (J. Funct. Log. Program., 1997)