Perfect Trees and Bit-reversal Permutations (1999)

Cached

Download Links

by Ralf Hinze
Citations:4 - 2 self

Documents Related by Co-Citation

70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
7 international conference on mathematics of program construction – Fourth
9 Nested datatypes. Pages 52–67 of – Richard Bird, Lambert Meertens - 1998
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
2 Recounting the rationals, continued – Moshe Newman - 2003
509 Concrete Mathematics: A Foundation For Computer Science – R L Graham, D E Knuth, O Patashnik - 1989
33 Recounting the rationals – N Calkin, H S Wilf
86 Algebra of Programming – R Bird, O de Moor - 1997
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
1 EWD 570: An exercise for Dr R. M. Burstall – Edsger W Dijkstra - 1982
1 EWD 578: More about function ‘fusc – Edsger W Dijkstra - 1982
7 Program Optimisation, Naturally – Richard Bird, Jeremy Gibbons, Geraint Jones
57 Proofs from the Book – Martin Aigner, Günter M. Ziegler - 1998
8 Type inference with polymorphic recursion. ACM transactions on programming languages and systems – Fritz Henglein - 1993
5 A technical summary of the new features – Mark Jones - 1998
1 A tutorial on the universality and expressiveness of fold. Journal of functional programming – Graham Hutton - 1999
2 A pragmatic approach to maps and folds for parameterized datatypes – M P Jones, P Blampied - 1998
10 Generalised folds for nested datatypes. Formal Aspects of Computing 11(2 – R Bird, R Paterson - 1999