A note on ``A simplified account of polymorphic references

DOI10.1016/0020-0190(95)00178-6zbMath0998.68534OpenAlexW1969253110MaRDI QIDQ1350743

Robert Harper

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00178-6

zbMATH Keywords

Functional programmingPerformance analysisAnalysis of algorithmsType theoryFormal semanticsProgramming languagesReferences and assignment

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Weak updates and separation logic, Syntactic type soundness results for the region calculus

Uses Software

• ML

Cites Work

• Type inference for polymorphic references
• A theory of type polymorphism in programming
• A simplified account of polymorphic references
• A syntactic approach to type soundness
• Unnamed Item