BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
structur (1)
languag (1)
wellfound (1)
unnest (1)
refunction (1)

Stem copattern$ (all stems)

4 papers:

ICFPICFP-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.
RTARTA-TLCA-2014-Setzer0PT #pattern matching
Unnesting of Copatterns (AS, AA, BP, DT), pp. 31–45.
ICFPICFP-2013-AbelP #approach #pattern matching #recursion #termination
Wellfounded recursion with copatterns: a unified approach to termination and productivity (AA, BP), pp. 185–196.
POPLPOPL-2013-AbelPTS #infinity #named #pattern matching #programming
Copatterns: programming infinite structures by observations (AA, BP, DT, AS), pp. 27–38.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.