Functional Programming Languages And Computer Architecture by Gilles Kahn