The Rewriting Calculus provides a combination of functional programming and term rewriting.

	* http://www.loria.fr/~ckirchne/=rho/rho.html

	* HoratiuCirstea
	* ClaudeKirchner
	
	* ELAN