Compiling to Categories A talk for ICFP 2017. For abstract, paper, slides, video, etc, see the paper page.