Ginger
University of Warwick
A simple lazy functional language with parallel constructs.
http://www.dcs.warwick.ac.uk/pub/reports/rr/235/