Perfect Trees and Bit-reversal Permutations (1999)

Cached

Download Links

by Ralf Hinze
Citations:4 - 2 self

Active Bibliography

7 Numerical Representations as Higher-Order Nested Datatypes – Ralf Hinze - 1998
31 Generalizing Generalized Tries – Ralf Hinze - 1999
95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
24 Manufacturing Datatypes – Ralf Hinze - 1999
11 Efficient Generalized Folds – Ralf Hinze - 1999
220 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000