Show how to generate a set of constraints for reconstructing types in the expression below. Then show how to solve the constraints using unification.Finally, show the expression with its reconstructed types.
((x . x) (x . x)) (x . x) 5
Last update: Tuesday, March 21st, 2000mflatt@cs.utah.edu