A simplified account of polymorphic references

DOI10.1016/0020-0190(94)90120-1MaRDI QIDQ1334643zbMATH OpenOpenAlexFDO

Authors Robert Harper

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

zbMATH Keywords

formal semanticsfunctional programmingstructured operational semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• A sound polymorphic type system for a dialect of \(C\)
• Type inference for polymorphic references
• The type and effect discipline
• A type soundness proof for variables in LCF ML
• A very modal model of a modern, major, general type system

Cites work

• A syntactic approach to type soundness
• Co-induction in relational semantics
• Standard ML-NJ weak polymorphism and imperative constructs
• Type inference for polymorphic references
• Weak polymorphism can be sound

Cited in

(14)

• A note on ``A simplified account of polymorphic references
• A linear logical framework
• A sound polymorphic type system for a dialect of \(C\)
• Syntactic type soundness results for the region calculus
• Standard ML-NJ weak polymorphism and imperative constructs
• Trace semantics for polymorphic references
• Weak polymorphism can be sound
• When Homomorphism Becomes a Liability
• Syntactic soundness proof of a type-and-capability system with hidden state
• An imperative object calculus
• Functional and Logic Programming
• Type soundness proofs with definitional interpreters
• A calculus for concurrent objects
• A type soundness proof for variables in LCF ML

This page was built for publication: A simplified account of polymorphic references

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1334643)