4 citations · 10 across the 11 of their papers we have counts for
1 paper · 1 filter
Hyvernat Pierre
This paper describes an automatic termination checker for a generic first-order call-by-value language in ML style. We use the fact that value are built from variants and tuples to…