Author of the publication

A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages.

, and . ASIAN, volume 1179 of Lecture Notes in Computer Science, page 234-243. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Efficient parallel stencil convolution in Haskell., and . Haskell, page 59-70. ACM, (2011)Flattening Trees., and . Euro-Par, volume 1470 of Lecture Notes in Computer Science, page 709-719. Springer, (1998)On the Distribution Implementation of Aggregate Data Structures by Program Transformation., and . IPPS/SPDP Workshops, volume 1586 of Lecture Notes in Computer Science, page 108-122. Springer, (1999)Fusing filters with integer linear programming., , and . FHPC@ICFP, page 53-62. ACM, (2014)A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages., and . ASIAN, volume 1179 of Lecture Notes in Computer Science, page 234-243. Springer, (1996)A Framework for the Automatic Formal Verification of Refinement from Cogent to C., , , , , , , , and . ITP, volume 9807 of Lecture Notes in Computer Science, page 323-340. Springer, (2016)The risks and benefits of teaching purely functional programming in first year., and . J. Funct. Program., 14 (1): 113-123 (2004)Work efficient higher-order vectorisation., , , , and . ICFP, page 259-270. ACM, (2012)A Functional Perspective on SSA Optimisation Algorithms., , and . Electron. Notes Theor. Comput. Sci., 82 (2): 347-361 (2003)Costing Nested Array Codes., , and . Parallel Processing Letters, 12 (2): 249-266 (2002)