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