A step-indexed model of substructural state

DOI10.1145/1086365.1086376zbMath1302.68048OpenAlexW2143661661WikidataQ60142694 ScholiaQ60142694MaRDI QIDQ2936770

Matthew T. Fluet, Greg Morrisett, Amal Ahmed

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:25620500

zbMATH Keywords

substructural type systemmutable referencesstep-indexed model

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (4)

A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation ⋮ Unnamed Item ⋮ Hoare type theory, polymorphism and separation ⋮ Modelling Unique and Affine Typing Using Polymorphism

This page was built for publication: A step-indexed model of substructural state