Title: An intensional implementation technique for functional languages