Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 - Jean-Pierre Jouannaud