Title: Abstract interpretation and optimising transformations for applicative programs
Subjects: Computer programming