A monadic calculus for parallel costing of a functional language of arrays

C. B. Jay, M. I. Cole, M. Sekanina, P. Steckler

Research output: Chapter in Book/Report/Conference proceedingConference contribution


VEC is a higher-order functional language of nested arrays, which includes a general folding operation. Static computation of the shape of its programs is used to support a compositional cost calculus basedson a cost monad. This, in turn, is based on a cost algebra, whose operations may be customized to handle different cost regimes, especially for parallel programming. We present examples based on sequential costing and on the PRAM model of parallel computation. The latter has been implemented in Haskell, and applied to some linear algebra examples.
Original languageEnglish
Title of host publicationEuro-Par'97 Parallel Processing
Subtitle of host publicationThird International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings
EditorsChristian Lengauer, Martin Griebl, Sergei Gorlatch
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages12
ISBN (Electronic)978-3-540-69549-3
ISBN (Print)978-3-540-63440-9
Publication statusPublished - 1997

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


Dive into the research topics of 'A monadic calculus for parallel costing of a functional language of arrays'. Together they form a unique fingerprint.

Cite this