Joonseon Ahn & Taisook Han (2001):
An Analytical Method for Parallelization of Recursive Functions.
Parallel Processing Letters,
doi:10.1142/S0129626400000330.
Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell & Vinod Grover (2011):
Accelerating Haskell Array Codes with Multicore GPUs.
Proceedings of the Sixth ACM Workshop on Declarative Aspects of Multicore Programming,
doi:10.1145/1926354.1926358.
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller & Simon Marlow (2007):
Data Parallel Haskell: A Status Report.
Proceedings of the 2007 Workshop on Declarative Aspects of Multicore Programming (DAMP),
doi:10.1145/1248648.1248652.
Wei-Ngan Chin, A. Takano & Zhenjiang Hu (1998):
Parallelization via Context Preservation.
International Conference on Computer Languages,
doi:10.1109/ICCL.1998.674166.
Murray Cole (1991):
Algorithmic Skeletons: Structured Management of Parallel Computation.
MIT Press, Cambridge, MA, USA.
John Darlington, A. J. Field, Peter G. Harrison, Paul Kelly, D. W. N. Sharp, Qiang Wu & R. Lyndon While (1993):
Parallel Programming Using Skeleton Functions.
Lecture Notes in Computer Science, 5th International PARLE Conference on Parallel Architectures and Languages Europe,
doi:10.1007/3-540-56891-3_12.
Jeremy Gibbons (1996):
The Third Homomorphism Theorem.
Journal of Functional Programming Vol. 6, No. 3,
doi:10.1017/S0956796800001908.
Horacio González-Vélez & Mario Leyton (2010):
A Survey of Algorithmic Skeleton Frameworks: High-level Structured Parallel Programming Enablers.
Software – Practice and Experience,
doi:10.1002/spe.v40:12.
Sergei Gorlatch (1995):
Constructing List Homomorphisms for Parallelism.
Fakultät für Mathematik und Informatik: MIP.
Sergei Gorlatch (1999):
Extracting and Implementing List Homomorphisms In Parallel Program Development.
Science of Computer Programming,
doi:10.1016/S0167-6423(97)00014-2.
G. W. Hamilton & Neil D. Jones (2012):
Distillation with Labelled Transition Systems.
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,
doi:10.1145/2103746.2103753.
Zhenjiang Hu, Masato Takeichi & Wei-Ngan Chin (1998):
Parallelization in Calculational Forms.
Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL),
doi:10.1145/268946.268972.
Zhenjiang Hu, Masato Takeichi & Hideya Iwasaki (1999):
Diffusion: Calculating Efficient Parallel Programs.
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM).
Zhenjiang Hu, Tetsuo Yokoyama & Masato Takeichi (2005):
Program Optimizations and Transformations an Calculation Form.
GTTSE,
doi:10.1007/11877028_5.
Hideya Iwasaki & Zhenjiang Hu (2004):
A New Parallel Skeleton for General Accumulative Computations.
International Journal of Parallel Programming, Kluwer Academic Publishers,
doi:10.1023/B:IJPP.0000038069.80050.74.
Venkatesh Kannan & G. W. Hamilton (2014):
Extracting Data Parallel Computations from Distilled Programs.
Fourth International Valentin Turchin Workshop on Metacomputation (META).
Venkatesh Kannan & G. W. Hamilton (2016):
Program Transformation To Identify Parallel Skeletons.
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP),
doi:10.1109/PDP.2016.32.
Rita Loogen (2012):
Eden – Parallel Functional Programming with Haskell.
Lecture Notes in Computer Science, Central European Functional Programming School, Springer Berlin Heidelberg,
doi:10.1007/978-3-642-32096-5_4.
K. Matsuzaki, Z. Hu & M. Takeichi (2006):
Parallel Skeletons for Manipulating General Trees.
Parallel Computing,
doi:10.1016/j.parco.2006.06.002.
K. Matsuzaki, H. Iwasaki, K. Emoto & Z. Hu (2006):
A Library of Constructive Skeletons for Sequential Style of Parallel Programming.
Proceedings of the 1st ACM International Conference on Scalable Information Systems, InfoScale,
doi:10.1145/1146847.1146860.
K. Matsuzaki, K. Kakehi, H. Iwasaki, Z. Hu & Y. Akashi (2004):
Fusion-Embedded Skeleton Library.
Euro-Par 2004 Parallel Processing, Lecture Notes in Computer Science, Springer Berlin Heidelberg,
doi:10.1007/978-3-540-27866-5_85.
Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto & Zhenjiang Hu (2006):
A Library of Constructive Skeletons for Sequential Style of Parallel Programming.
Proceedings of the 1st International Conference on Scalable Information Systems,
doi:10.1145/1146847.1146860.
Trevor L. McDonell, Manuel M.T. Chakravarty, Gabriele Keller & Ben Lippmeier (2013):
Optimising Purely Functional GPU Programs.
ACM SIGPLAN Notices,
doi:10.1145/2500365.2500595.
Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu & Masato Takeichi (2009):
The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer.
POPL,
doi:10.1145/1594834.1480905.
Alberto Pettorossi & Maurizio Proietti (1996):
Rules and Strategies for Transforming Functional and Logic Programs.
ACM Computing Surveys,
doi:10.1145/234528.234529.
D. B. Skillicorn (1993):
The Bird-Meertens Formalism as a Parallel Model.
Software for Parallel Computation, NATO ASI Series F, Springer-Verlag,
doi:10.1007/978-3-642-58049-9_9.
D. B. Skillicorn & Domenico D. Talia (1998):
Models and Languages for Parallel Computation.
ACM Computing Surveys,
doi:10.1145/280277.280278.
eptcs@eptcs.org