Polytypic programming (2000)

Cached

Download Links

by Patrik Jansson
Citations:92 - 12 self

Active Bibliography

5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
41 Calculate Polytypically! – Lambert Meertens - 1996
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
2 Deriving animations from recursive definitions – Alcino Cunha, José Barros, João Saraiva - 2002
2 "Explosive" Programming Controlled by Calculation – J. N. Oliveira - 1998
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
32 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996