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

Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document.