Some references that may be interesting:

<pre>
@PhdThesis{chak:diss,
  author = 	 "Manuel M. T. Chakravarty",
  title = 	 "On the Massively Parallel Execution of Declarative Programs",
  school = 	 "Technische Universit{\"a}t Berlin, Fachbereich Informatik",
  year = 	 1997,
  URL =          "<a href = "http://www.cs.tu-berlin.de/~chak/papers/diss.html">http://www.cs.tu-berlin.de/~chak/papers/diss.html</a>"
}
</pre>
<pre>
@Article{chak-etal:f-meet-c,
  author = 	 "Manuel M. T. Chakravarty and Yike Guo and Martin
		  K{\"o}hler and Hendrik C. R. Lock",
  title = 	 "Goffin: Higher-Order Functions Meet Concurrent
		  Constraints",
  journal =      "Science of Computer Programming",
  publisher =    "Elsevier Science",
  year =         "1997",
  note =         "To appear in a special issue on the {\emph{First
		  International Workshop on Concurrent Constraint
		  Programming (CCP'95)}}, scheduled for volume 29",
  URL =          "<a href = "http://www.cs.tu-berlin.de/~chak/papers/goffin.ps.gz">http://www.cs.tu-berlin.de/~chak/papers/goffin.ps.gz</a>"
}
</pre>
<pre>
@InProceedings{AuChakravartyDarlington:ADPC97,
  author =    {P. K. T. Au and M. M. T. Chakravarty and
	       J. Darlington and Y. Guo and  S. J{\"a}hnichen and
	       G. Keller and M. K{\"o}hler  and M. Simons and 
	       W. Pfannenstiel},
  title =     {Enlarging the scope of vector-based computations:
	       extending {Fortran 90} with nested data parallelism},
  booktitle = {International Conference on Advances in Parallel and
	       Distributed Computing},
  editor =    {W. Giloi},
  year =      1997,
  publisher = {IEEE Computer Society},
  URL       = "<a href = "http://www.cs.tu-berlin.de/~simons/pubs/AuChakravartyDarlington:APDC97.html">http://www.cs.tu-berlin.de/~simons/pubs/AuChakravartyDarlington:APDC97.html</a>
</pre>