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...

SET Language: mathematical programming language closely resembling the language of sets and functions used by Mathematicians. Lets users define sets, then define functions and binary operations on the sets: reference documentation for the library of b...

A dissertation by David Bacon.