A compiler back-end for lazy and strict functional languages with whole program optimization support.