Termination Casts: A Flexible Approach to Termination with General Recursion.

Aaron Stump, Vilhelm Sjberg, Stephanie Weirich

Browse the full ITP paper archive.