Unification based FP interpreters. - Chris Fickert; Thomas A. Sudkamp (ACM SIGPLAN Notices, 1992)