Login / Signup

Copatterns: programming infinite structures by observations.

Andreas AbelBrigitte PientkaDavid ThibodeauAnton Setzer
Published in: POPL (2013)
Keyphrases