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)A relational account of objects., and . ACSC, volume 48 of CRPIT, page 297-302. Australian Computer Society, (2006)Separating Shape from Data.. Category Theory and Computer Science, volume 1290 of Lecture Notes in Computer Science, page 47-48. Springer, (1997)Shapely Types and Shape Polymorphism., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 302-316. Springer, (1994)Functorial ML., , and . PLILP, volume 1140 of Lecture Notes in Computer Science, page 32-46. Springer, (1996)Shaping Distributions.. Research Directions in Parallel Functional Programming, Springer, (1999)Preface: Theoretical Computer Science in Australia and New Zealand., and . Theor. Comput. Sci., 169 (1): 1 (1996)Shape in Computing.. ACM Comput. Surv., 28 (2): 355-357 (1996)