Pages that link to "Item:Q1334643"
From MaRDI portal
The following pages link to A simplified account of polymorphic references (Q1334643):
Displaying 12 items.
- A type soundness proof for variables in LCF ML (Q672255) (← links)
- A note on ``A simplified account of polymorphic references'' (Q1350743) (← links)
- A linear logical framework (Q1400718) (← links)
- A sound polymorphic type system for a dialect of \(C\) (Q1818320) (← links)
- Syntactic type soundness results for the region calculus (Q1854515) (← links)
- Standard ML-NJ weak polymorphism and imperative constructs (Q1923097) (← links)
- Trace semantics for polymorphic references (Q4635919) (← links)
- When Homomorphism Becomes a Liability (Q4910276) (← links)
- Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884) (← links)
- An imperative object calculus (Q5096750) (← links)
- Functional and Logic Programming (Q5308022) (← links)
- A calculus for concurrent objects (Q6162111) (← links)