Hardware-Assisted and Target-Directed Evaluation of Functional Programs. - Matthew Francis Naylor (2008)