Generalising and dualising the third list-homomorphism theorem: functional pearl.

Shin-Cheng Mu, Akimasa Morihata

Browse the full ICFP paper archive.