Productive coprogramming with guarded recursion.

Robert Atkey, Conor McBride

Browse the full ICFP paper archive.