Ali Faour

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index