Implementing functional languages - Jones, Simon L Peyton (Prentice Hall, 1992)
Includes index.