Higher-Order Containers.

Thorsten Altenkirch, Paul Blain Levy, Sam Staton

Browse the full CiE paper archive.