SAPL is a purely functional, intermediate language and related architecture for supporting cross-compilation of functional languages into different target platforms.