CLP(Sigma*): Constraint Logic Programming with Regular Sets. - Clifford Walinsky (ICLP, 1989)

A Functional Programming Language Compiler for Massively Parallel Computers. - Clifford Walinsky; Deb Banerjee (LISP and Functional Programming, 1990)

An optimizing compiler for FP*-a data-parallel dialect of FP. - Deb Banerjee; Clifford Walinsky (SPDP, 1991)

An Equational Language for Data-Parallelism. - Pushpa Rao; Clifford Walinsky (PPoPP, 1993)

A Data-Parallel FP Compiler. - Clifford Walinsky; Deb Banerjee (J. Parallel Distributed Comput., 1994)