Defining Corecursive Functions in Coq Using Approximations.

Vlad Rusu, David Nowak

Browse the full ECOOP paper archive.