The following pages link to (Q3408131):
Displaying 8 items.
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Mechanizing type environments in weak HOAS (Q897934) (← links)
- An interpretation of typed objects into typed \(\pi\)-calculus (Q1271311) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- A Step-indexed Semantics of Imperative Objects (Q3401137) (← links)
- iRho: an imperative rewriting calculus (Q3520144) (← links)
- An imperative object calculus (Q5096750) (← links)
- Implicit typing à la ML for the join-calculus (Q6044118) (← links)