Pages that link to "Item:Q3644935"
From MaRDI portal
The following pages link to Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935):
Displaying 10 items.
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137) (← links)
- Calculating Certified Compilers for Non-deterministic Languages (Q2941174) (← links)
- (Q2980971) (← links)
- Program Calculation in Coq (Q3067474) (← links)
- Contributions to a computational theory of policy advice and avoidability (Q4577808) (← links)
- Extensional equality preservation and verified generic programming (Q5019020) (← links)
- Calculating a linear-time solution to the densest-segment problem (Q5371958) (← links)
- Recursion schemes in Coq (Q6536316) (← links)
