BibSLEIGH — copattern stem

Used together with:

Stem copattern$ (all stems)

ICFP-2015-RendelTO #automation #pattern matching #problem: Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.
RTA-TLCA-2014-Setzer0PT #pattern matching: Unnesting of Copatterns (AS, AA, BP, DT), pp. 31–45.
ICFP-2013-AbelP #approach #pattern matching #recursion #termination: Wellfounded recursion with copatterns: a unified approach to termination and productivity (AA, BP), pp. 185–196.
POPL-2013-AbelPTS #infinity #named #pattern matching #programming: Copatterns: programming infinite structures by observations (AA, BP, DT, AS), pp. 27–38.