Pages that link to "Item:Q4236215"
From MaRDI portal
The following pages link to A categorical model for higher order imperative programming (Q4236215):
Displaying 8 items.
- Imperative abstractions for functional actions (Q604455) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Calculating sharp adaptation rules. (Q1607103) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- The algebra of multirelations (Q4925034) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
