Iteration and coiteration schemes for higher-order and nested datatypes

67 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Heterogeneous substitution systems revisited (2016, neutral): “…the pointed endofunctor ( Z, e ) to be inserted in the right place: Note that the ﬂattening signature cannot be dealt with in a framework with a ﬁxed enumeration of variable names and shows, already on the syntactic side, the most simple case of “true nesting” in nested datatypes (see, e. g., [4]).”
Map fusion for nested datatypes in intensional type theory (2011, methodology): “The present article is concerned with an extension of LNMIt to a system LNGMIt that has generalized Mendler-style iteration GMIt , introduced in [12], in addition to plain Mendler-style iteration that is provided by LNMIt .”