Efficient Generalized Folds (1999)

Cached

Download Links

by Ralf Hinze
Citations:11 - 0 self

Documents Related by Co-Citation

68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
24 Manufacturing Datatypes – Ralf Hinze - 1999
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
7 Program Optimisation, Naturally – Richard Bird, Jeremy Gibbons, Geraint Jones
226 Functional Data Structures – Chris Okasaki - 1996
6 Structured Recursion for Non-uniform Data-types – P Blampied - 2000
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
10 Generalised folds for nested datatypes. Formal Aspects of Computing 11(2 – R Bird, R Paterson - 1999
4 Löh and Johan Jeuring (editors). The Generic Haskell user’s guide, version 1.42 - coral release – Andres - 2005
2 and Rinus Plasmeijer. Systematic synthesis of functions – Pieter Koopman - 2006
13 PolyLib — a polytypic function library – Patrik Jansson, Johan Jeuring - 1998