Author： Biagioni Edoardo
Publisher： Springer Publishing Company
ISSN： 1388-3690
Source： LISP and Symbolic Computation, Vol.14, Iss.4, 2001-12, pp. : 309-356
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
Extending the type checker of Standard ML by polymorphic recursion
Theoretical Computer Science, Vol. 212, Iss. 1, 1999-02 ,pp. :
A cost-effective estimation of uncaught exceptions in Standard ML programs
Theoretical Computer Science, Vol. 277, Iss. 1, 2002-04 ,pp. :
A hybrid authentication protocol for large mobile network
Journal of Systems and Software, Vol. 67, Iss. 2, 2003-08 ,pp. :