Ali A. G. Yaghi

• An intensional implementation technique for functional languages