Implementing Functional Languages on Sequentil and Parallel Machines | part of Lazy Functional Languages: Abstract Interpretation and Compilation | MIT Press books | IEEE Xplore