AoPA
From MaRDI portal
Cited in
(14)- Program calculation in Coq
- Contributions to a computational theory of policy advice and avoidability
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Sequential decision problems, dependent types and generic solutions
- Towards certifiable implementation of graph transformation via relation categories
- Formal derivation of greedy algorithms from relational specifications: a tutorial
- Ivor
- Alfalfa
- Camlflow
- iTasks
- Cayenne
- Galculator
- Calculating a linear-time solution to the densest-segment problem
- Algebra of programming in Agda: Dependent types for relational program derivation
This page was built for software: AoPA
