A Theory of Non-monotone Memory (Or: Contexts for free)

DOI10.1007/978-3-642-00590-9_18zbMath1234.68062OpenAlexW1589942476MaRDI QIDQ3617703

Eijiro Sumii

Publication date: 31 March 2009

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00590-9_18

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References

This page was built for publication: A Theory of Non-monotone Memory (Or: Contexts for free)