Para-functional programming


Paul Hudak


Para-functional programming is a methodology for programming multiprocessor computing systems.  It is based on a functional programming model augmented with features that allow programs to be mapped to specific multiprocessor topologies.  The most significant aspect of the methodology is that it treats the multiprocessor as a single autonomous computer onto which a program is mapped, rather than as a group of independent processors that carry out complex communication and require complex synchronization.

A PDF scan of the original article is available here:



    ,author={Hudak, P.}
    ,title={Para-functional programming}
    ,journal={IEEE Computer}