1 paper · 1 filter
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…