Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.212, Iss.1, 1999-02, pp. : 157-181
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Safe-for-Space Threads in Standard ML
By Biagioni E. Cline K. Lee P. Okasaki C. Stone C.
LISP and Symbolic Computation, Vol. 11, Iss. 2, 1998-12 ,pp. :
Access to resources
Recommend
A Network Protocol Stack in Standard ML
LISP and Symbolic Computation, Vol. 14, Iss. 4, 2001-12 ,pp. :
A cost-effective estimation of uncaught exceptions in Standard ML programs
Theoretical Computer Science, Vol. 277, Iss. 1, 2002-04 ,pp. :
By Appel Andrew Michael Neophytos Stump Aaron Virga Roberto
Journal of Automated Reasoning, Vol. 31, Iss. 3-4, 2003-11 ,pp. :