Categories of Containers.

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani

Browse the full FOSSACS paper archive.