The following pages link to A variable typed logic of effects (Q1893729):
Displaying 7 items.
- A first order logic of effects (Q1390955) (← links)
- Program logic and equivalence in the presence of garbage collection. (Q1874283) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- (Q2851057) (← links)
- (Q5376659) (← links)
- Untyped lambda-calculus with input-output (Q5878918) (← links)
