Indexed codata types.

David Thibodeau, Andrew Cave, Brigitte Pientka

Browse the full ICFP paper archive.