A simplified account of polymorphic references
From MaRDI portal
Publication:1334643
DOI10.1016/0020-0190(94)90120-1zbMath0813.68131OpenAlexW1971933951MaRDI QIDQ1334643
Publication date: 25 September 1994
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(94)90120-1
Related Items
A note on ``A simplified account of polymorphic references, An imperative object calculus, A linear logical framework, A calculus for concurrent objects, A type soundness proof for variables in LCF ML, Syntactic soundness proof of a type-and-capability system with hidden state, Syntactic type soundness results for the region calculus
Cites Work