Author： Almeida P.S.
Publisher： Elsevier
ISSN： 1571-0661
Source： Electronic Notes in Theoretical Computer Science, Vol.20, Iss.1, 2004-01, pp. : 1-27
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Previous Menu Next
Abstract
Related content
Divergence of F = < type checking
By Ghelli G.
Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. :
Access to resources
Recommend
Type inference for recursively constrained types and its application to OOP
By Eifrig J. Smith S. Trifonov V.
Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. :
Model Checking with Strong Fairness
By Kesten Yonit Pnueli Amir Raviv Li-On Shahar Elad
Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. :