Добрый день
Посоветуйте, пожалуйста, чего почитать по компиляторам(интерпретаторам?) функциональных ЯП. Конкретно, интересует как они ложатся в конечном итоге на stack-based модель исполнения процессорной архитектуры. Литература по компиляторам, что я имею, обсуждает низкоуровневый статически генерируемый код, а как прокидывается мостик к higher order functions не очень понятно, ленивость.

По возможности, без привязки к конкретной имплементации (хаскель, ох..) меня лисп интересует больше. вообще хочется почитать о низкоуровневой стороне функциональных языков, туда, в сторону железа, как-то литературы не особо много.
Cпасибо