most citedThe Size-Change Principle for Mixed Inductive and Coinductive types

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2024★ 2 cited

The Size-Change Principle for Mixed Inductive and Coinductive types

Pierre Hyvernat

This paper shows how to use Lee, Jones and Ben Amram's size-change principle to check correctness of arbitrary recursive definitions in an ML / Haskell like programming language wi…