Pages that link to "Item:Q1263961"
From MaRDI portal
The following pages link to A syntactic theory of sequential state (Q1263961):
Displaying 13 items.
- An imperative pure calculus (Q737089) (← links)
- Notions of computation and monads (Q757075) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- A theoretical model of a high-level programming language (Q1103396) (← links)
- The revised report on the syntactic theories of sequential control and state (Q1199538) (← links)
- Syntactic theories in practice (Q2841251) (← links)
- Rewriting calculus with(out) types (Q2851046) (← links)
- A certified extension of the Krivine machine for a call-by-name higher-order imperative language (Q2968419) (← links)
- A complete, co-inductive syntactic theory of sequential control and state (Q3189795) (← links)
- iRho: an imperative rewriting calculus (Q3520144) (← links)
- Sequential syntactical decoding (Q4090228) (← links)
- State grammars with stores (Q5896092) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)