Wellfounded recursion with copatterns: a unified approach to termination and productivity.

Andreas Abel, Brigitte Pientka

Browse the full ICFP paper archive.