![]() | ![]() |
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] |