Login / Signup

Iteration and coiteration schemes for higher-order and nested datatypes.

Andreas AbelRalph MatthesTarmo Uustalu
Published in: Theor. Comput. Sci. (2005)
Keyphrases