|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
42
|
A tutorial on the universality and expressiveness of fold
– Graham Hutton
- 1999
|
|
12
|
Polytypic Functions Over Nested Datatypes
– Ralf Hinze
- 1999
|
|
|
WRS’04 4th International Workshop on Reduction Strategies in Rewriting and Programming
– Wrs' Th International, Sergio Antoy, Yoshihito Toyama (eds, Issn Aachener, Informatik Berichte Aib
|
|
13
|
Polytypic Programming With Ease
– Ralf Hinze
- 1999
|
|
|
Yet Another Generic Haskell
– Ralf Lämmel, Joost Visser
|
|
41
|
Typed Combinators for Generic Traversal
– Ralf Lämmel, Joost Visser
- 2002
|
|
|
Meta-Programming with Tabaluga
– Jan Kort, Ralf Lämmel, Joost Visser
|
|
63
|
Generic Haskell: practice and theory
– Ralf Hinze, Johan Jeuring
- 2003
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
21
|
Typed Generic Traversal With Term Rewriting Strategies
– Ralf Lämmel
- 2002
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
13
|
Generic programming with fixed points for mutually
– Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring
- 2008
|
|
2
|
Deriving animations from recursive definitions
– Alcino Cunha, José Barros, João Saraiva
- 2002
|
|
8
|
Towards Merging Recursion and Comonads
– Alberto Pardo
- 2000
|
|
|
Towards Merging Recursion and Comonads
– Alberto Pardo Instituto, Alberto Pardo
- 2000
|
|
4
|
Monadic Corecursion - Definition, Fusion Laws, and Applications
– Alberto Pardo
- 1998
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
|
3
|
Monads, Shapely Functors and Traversals
– E. Moggi, G. Bellè, C. B. Jay
- 1999
|
