Pages that link to "Item:Q3638920"
From MaRDI portal
The following pages link to Parameterised notions of computation (Q3638920):
Displayed 13 items.
- The Cooper storage idiom (Q1711505) (← links)
- More dependent types for distributed arrays (Q1929345) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- A Coq Library for Internal Verification of Running-Times (Q2798271) (← links)
- Algebras for Parameterised Monads (Q2888473) (← links)
- Higher-order Algebras and Coalgebras from Parameterized Endofunctors (Q2919455) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- Roles, stacks, histories: A triple for Hoare (Q3021420) (← links)
- A unified framework for notions of algebraic theory (Q4972696) (← links)
- (Q5020617) (← links)
- The parametric continuation monad (Q5269001) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- Flexible dynamic information flow control in the presence of exceptions (Q5371997) (← links)