2 12 Automatic Refunctionalization to a Language with Copattern Matching

Whole-channel inclusion: ICFP Video is an honest teaching channel (title sample + 3 transcripts read: All three transcripts show structured expert technical talks explaining research/concepts in functional programming and related fields, consistent with genuine educational conference content.); this title passed a strict title check (sonnet) after a labelling pass.

A 21-minute video from ICFP Video: “2 12 Automatic Refunctionalization to a Language with Copattern Matching”.

Video by ICFP Video, played through YouTube's embedded player.