Para-functional programming

Authors:

Paul Hudak

Abstract:

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:

http://www.cs.yale.edu/homes/hudak/Papers/paralfl-IEEE-Computer.pdf

 

Bibtex:

 @article{huda86j
    ,key={hudak}
    ,author={Hudak, P.}
    ,title={Para-functional programming}
    ,journal={IEEE Computer}
    ,volume=19
    ,number=8
    ,month=Aug
    ,year=1986
    ,pages={60-71}
    } 

Links: