| |
| 1997 | ||
|---|---|---|
| 2 | Mourad Debbabi, Zahia Aïdoud, Ali Faour: On the Inference od Structured Recursive Effects with Subtyping. Journal of Functional and Logic Programming 1997(5): (1997) | |
| 1996 | ||
| 1 | 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: 247-266 | |
| 1 | Zahia Aïdoud | [2] |
| 2 | Mourad Debbabi | [1] [2] |
| 3 | Nadia Tawbi | [1] |