Compilers are lazy denotational interpreters
researchblogs.cs.bham.ac.uk