LITTLE
A typeless language used to produce machine-independent software. LITTLE has been used to implement SETL.
"Guide to the LITTLE Language", D. Shields, LITTLE Newsletter 33, Courant Institute (Aug 1977).