![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Dhara K.K. Leavens G.T.
Publisher: Elsevier
ISSN: 1571-0661
Source: Electronic Notes in Theoretical Computer Science, Vol.1, Iss.1, 2004-01, pp. : 1-23
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Optimal Representations of Polymorphic Types with Subtyping
By Aiken A.
LISP and Symbolic Computation, Vol. 12, Iss. 3, 1999-10 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
LAYER TYPES: A CONCEPT FOR MODELING ARRAYS OF COMMUNICATING OBJECTS
By Kock Gerd
Cybernetics and Systems, Vol. 37, Iss. 6, 2006-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Principles of programming with complex objects and collection types
By Buneman P. Naqvi S. Tannen V. Wong L.
Theoretical Computer Science, Vol. 149, Iss. 1, 1995-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Checkpointing with mutable checkpoints
By Cao G. Singhal M.
Theoretical Computer Science, Vol. 290, Iss. 2, 2003-01 ,pp. :