Author of the publication

A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.

, , , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 650-661. Springer, (1997)

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

Partial Evaluation of Shaped Programs: Experience with FISh.. PEPM, page 147-158. University of Aarhus, (1999)Adaptiveness in well-typed Java bytecode verification., , and . CASCON, page 248-262. IBM, (2006)Tail Recursion Through Universal Invariants.. Theor. Comput. Sci., 115 (1): 151-189 (1993)Tail Recursion from Universal Invariants.. Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, page 151-163. Springer, (1991)Shape in Computing.. ACM Comput. Surv., 28 (2): 355-357 (1996)Preface: Theoretical Computer Science in Australia and New Zealand., and . Theor. Comput. Sci., 169 (1): 1 (1996)Programming with heterogeneous structures: manipulating XML data using bondi., , and . ACSC, volume 48 of CRPIT, page 287-295. Australian Computer Society, (2006)A relational account of objects., and . ACSC, volume 48 of CRPIT, page 297-302. Australian Computer Society, (2006)Shapely Types and Shape Polymorphism., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 302-316. Springer, (1994)Shaping Distributions.. Research Directions in Parallel Functional Programming, Springer, (1999)