Implementing functional languages

The core language template-instantiation thwe G-machine TIM - the three-instruction machine a parallel G-machine lambda lifting. Appendices: utilities module example core-language programs.