"The optimal implementation of functional programming languages" - читать интересную книгу автора (Andrea Asperti, Stefano Guerrini)