Pages that link to "Item:Q3638920"
From MaRDI portal
The following pages link to Parameterised notions of computation (Q3638920):
Displaying 17 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)
- Relating Functional and Imperative Session Types (Q5043592) (← 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)
- ElixirST: a session-based type system for elixir modules (Q6052942) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
- Type-safe quantum programming in Idris (Q6535254) (← links)
