Uniform Traversal Combinators: Definition, Use and Properties.

Leonidas Fegaras, Tim Sheard, David W. Stemple

Browse the full CADE paper archive.