The Tensor Product in Wadler's Analysis of Lists.

Flemming Nielson, Hanne Riis Nielson

Browse the full ESOP paper archive.