Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu: Functional Pearl: Folding Polynomials of Polynomials. FLOPS 2018: 68-83