|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
31
|
Tupling Calculation Eliminates Multiple Data Traversals
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
- 1997
|
|
2
|
Towards polytypic parallel programming
– Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
- 1998
|
|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
4
|
Program Transformation in Calculational Form
– Akihiko Takano, Zhenjiang Hu, Masato Takeichi
- 1998
|
|
2
|
A Calculational Framework for Parallelization of Sequential Programs
– Zhenjiang Hu, Masato Takeichi
- 1997
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
2
|
Towards a Modular Program Derivation via Fusion and Tupling
– Wei-Ngan Chin, Zhenjiang Hu
- 2002
|
|
9
|
Generic Accumulations
– Alberto Pardo
- 2002
|
|
|
Catamorphism-Based Transformation of Functional Programs
– Zhenjiang Hu Hideya, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1994
|
|
1
|
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
– Patricia Johann, John Launchbury
- 1997
|
|
11
|
Make it Practical: A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems
– Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
- 2000
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
4
|
Calculating a New Data Mining Algorithm for Market Basket Analysis
– Zhenjiang Hu, Wei-ngan Chin, Masato Takeichi
- 2000
|
|
4
|
A Calculational Approach to Strong Datatypes
– Alberto Pardo
- 1997
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
