Disciplined‚ efficient‚ generalised folds for nested datatypes

Nested (or non-uniform, or non-regular) datatypes have recursive definitions in which the type parameter changes. Their folds are restricted in power due to type constraints. Bird and Paterson introduced <em>generalised folds</em> for extra power, but at the cost of a loss of efficiency:...

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Martin, C, Gibbons, J, Bayley, I
التنسيق: Journal article
منشور في: 2004