The polymorphic imperative: A generic approach to in-place update

Publication Type:
Journal Article
Electronic Notes in Theoretical Computer Science, 2004, 91 pp. 195 - 211
Issue Date:
Filename Description Size
2006007871OK.pdf246.19 kB
Adobe PDF
Full metadata record
The constructor calculus supports generic operations defined over arbitrary data types including abstract data types. This paper extends the basic constructor calculus to handle constructed locations. The resulting calculus is able to define a generic assignment operation that performs in-place whenever appropriate and allocates fresh memory otherwise. This approach may eliminate many of the space overheads associated with higher-order polymorphic languages. In combination with existing generic programming techniques it can express some very powerful algorithms such as the visitor pattern. © 2004 Published by Elsevier B.V.
Please use this identifier to cite or link to this item: