Description: Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to multiple architectures. Deals elegantly with special requirements imposed by the execution model of different high-level, typed languages.