Login / Signup

Generalised folds for nested datatypes.

Richard S. BirdRoss Paterson
Published in: Formal Aspects Comput. (1999)
Keyphrases