Promotional Transformation on Monadic Programs (1995)

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Citations:9 - 0 self

Active Bibliography

16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
93 Polytypic programming – Patrik Jansson - 2000
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
41 Calculate Polytypically! – Lambert Meertens - 1996
11 A library of constructive skeletons for sequential style of parallel programming – Kiminori Matsuzaki, Hideya Iwasaki - 2006
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
2 Deriving animations from recursive definitions – Alcino Cunha, José Barros, João Saraiva - 2002
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
35 Semantic Lego – David Espinosa - 1995
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
39 Querying Nested Collections – Limsoon Wong - 1994
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996