Pages that link to "Item:Q2704331"
From MaRDI portal
The following pages link to Reasoning about functions with effects (Q2704331):
Displaying 7 items.
- Imperative abstractions for functional actions (Q604455) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- A first order logic of effects (Q1390955) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- Plan in Maude specifying an active network programming language (Q2851057) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- Amb Breaks Well-Pointedness, Ground Amb Doesn't (Q5262940) (← links)