9 citations · 19 across the 5 of their papers we have counts for
1 paper · 1 filter
Anne Baanen, Wouter Swierstra
This paper describes how to verify a parser for regular expressions in a functional programming language using predicate transformer semantics for a variety of effects. Where our p…