Stem refunction$ (all stems)
1 papers:
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.
ICFP-2015-RendelTO #automation #pattern matching #problem