10 citations · 36 across the 15 of their papers we have counts for
1 paper · 1 filter
Christopher Broadbent, Arnaud Carayol, Matthew Hague +1
Higher-order recursion schemes (HORS) have received much attention as a useful abstraction of higher-order functional programs with a number of new verification techniques employin…