The implementation of functional programming languages
microsoft.com