A type system for destructive updates in declarative programming languages

Files
2001_Harrington.pdf(24.96 MB)
Date
2001
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 114-116.
Keywords
Citation
Harrington, D. G. (2001). A type system for destructive updates in declarative programming languages (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/14286
URI
http://hdl.handle.net/1880/41191
Collections
Legacy Theses