Eugenio Moggi, David Scott Warren (Eds.):
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy.
ACM 2004, ISBN 1-58113-819-9
Sébastien Carlier, J. B. Wells: Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.
132-143
Sergio Antoy, Stephen Johnson: Formalization and abstract implementation of rewriting with nested rules.
144-154