1 paper
Philipp Joram, Niccolò Veltri
Containers conveniently represent a wide class of inductive data types. Their derivatives compute representations of types of one-hole contexts, useful for implementing tree-traver…