The following pages link to (Q5753940):
Displaying 5 items.
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- The revised report on the syntactic theories of sequential control and state (Q1199538) (← links)
- A first order logic of effects (Q1390955) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Capsules and Closures (Q5739358) (← links)
