|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
10
|
Fusion of Recursive Programs with Computational Effects
– Alberto Pardo
- 2000
|
|
4
|
Monadic Corecursion - Definition, Fusion Laws, and Applications
– Alberto Pardo
- 1998
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
46
|
Merging Monads and Folds for Functional Programming
– Erik Meijer, Johan Jeuring
- 1995
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
161
|
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
|
|
1
|
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
– Patricia Johann, John Launchbury
- 1997
|
|
16
|
Calculating Accumulations
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1999
|
|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
2
|
Towards polytypic parallel programming
– Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
- 1998
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
1
|
Program fusion with paramorphisms
– Facundo Domínguez, Alberto Pardo
- 2006
|
|
3
|
An Extension Of The Acid Rain Theorem
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
