The Transformation Calculus. Jacques Garrigue. Technical Report TR 94-09, Department of Information Science, the University of Tokyo, April 1994

Languages mentioned

• FIML {1992} Functional and Imperative ML