Alfalfa: distributed graph reduction on a hypercube multiprocessor

Lazy evaluation and the logic variable

ICS '88 Proceedings of the 2nd international conference on Supercomputing

Programming languages for distributed computing systems

ACM Computing Surveys (CSUR)

GUM: a portable parallel implementation of Haskell

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation

Exploring Parafunctional Programming: Separating the What from the How

IEEE Software

Trends in Trends in Functional Programming 1999/2000 versus 2007/2008

Higher-Order and Symbolic Computation