Zahia Aïdoud

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

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