Copatterns: programming infinite structures by observations.

Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer

Browse the full POPL paper archive.