Efficient Generalized Folds (1999)

Cached

Download Links

by Ralf Hinze
Citations:11 - 0 self

Active Bibliography

95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
24 Manufacturing Datatypes – Ralf Hinze - 1999
31 Generalizing Generalized Tries – Ralf Hinze - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
5 Numerical Representations as Higher-Order Nested Datatypes – Ralf Hinze - 1998
13 Polytypic Programming With Ease – Ralf Hinze - 1999
4 Perfect Trees and Bit-reversal Permutations – Ralf Hinze - 1999
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
60 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
35 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
HIGHER-ORDER THEORIES ANDRÉ HIRSCHOWITZ AND MARCO MAGGESI – unknown authors - 704
4 Disciplined, efficient, generalised folds for nested datatypes – Clare Martin, Jeremy Gibbons, Ian Bayley
3 TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development – Sérgio Souza Costa, Gilberto Câmara, Danilo Palomo - 2006
Computer Language Advances – Daniel E. Cooke, Michael Gelfond, Joseph E. Urban
4 Compiling Performance Models from Parallel Programs – Arjan J.C. van Gemund - 1994
4 On the Analysis of PAMELA Models – Arjan J.C. van Gemund - 1993