19 citations · 28 across the 6 of their papers we have counts for
1 paper · 1 filter
Christa Jenkins, Mark Moir, Harold Carr
We present a lightweight, open source Agda framework for manually verifying effectful programs using predicate transformer semantics. We represent the abstract syntax trees (AST) o…