Polytypic Functions Over Nested Datatypes

Ralf Hinze. Polytypic Functions Over Nested Datatypes. Discrete Mathematics & Theoretical Computer Science, 3(4):193-214, 1999. [doi]

Abstract

Abstract is missing.