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