swMATH9832MaRDI QIDQ21811FDOQ21811
Author name not available (Why is that?)
Official website: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.AOPA
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
- Calculating a linear-time solution to the densest-segment problem
- Ivor
- Alfalfa
- Camlflow
- iTasks
- Cayenne
- Galculator
- Algebra of programming in Agda: Dependent types for relational program derivation
This page was built for software: AoPA
