Pages that link to "Item:Q1334643"
From MaRDI portal
The following pages link to A simplified account of polymorphic references (Q1334643):
Displaying 6 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)
- Syntactic type soundness results for the region calculus (Q1854515) (← links)
- Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884) (← links)
- An imperative object calculus (Q5096750) (← links)
