Recommendation: please go read Simon Peyton-Jones' "The Implementation of Functional Programming Languages". It's highly accessible, assumes little prior knowledge, and reads pretty quickly. Its focus is on non-strictly evaluated systems like Miranda and Haskell, but go read it anyway.

(EDIT: Link to free copy from the author: http://research.microsoft.com/en-us/um/people/simonpj/papers...)