Θεοφιλόπουλος Παναγιώτης, An efficient implementation of lazy functional programming languages based on the generalized intensional transformation, 2014,