Automatic refunctionalization to a language with copattern matching: with applications to the expression problem.

Tillmann Rendel, Julia Trieflinger, Klaus Ostermann

Browse the full ICFP paper archive.