Functional transformation systems. http://www.cwi.nl/ jvisser/papers (2000)

by R L J Kort, J Visser
Venue:Presented at 9th International Workshop on Functional and Logic Programming (WFLP'2000