Another type system for in-place update

DOI10.1007/3-540-45927-8_4MaRDI QIDQ4738344zbMATH OpenFDO

Authors Martin Hofmann, D. Aspinall

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2305/23050036.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• A type system with usage aspects
• Typing with conditions and guarantees for functional in-place update
• \(\text{L}^{3}\): A linear language with locations
• Functional in-place update with layered datatype sharing
• A type system for bounded space and functional in-place update. (Extended abstract)

Cited in

(8)

• A type system for bounded space and functional in-place update
• Alias types
• L^3: a linear language with locations
• Typing with conditions and guarantees for functional in-place update
• Functional in-place update with layered datatype sharing
• A type system for bounded space and functional in-place update. (Extended abstract)
• A type system with usage aspects
• \(\text{L}^{3}\): A linear language with locations

This page was built for publication: Another type system for in-place update

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738344)