One of the implementation approaches to functional languages is given by the machinery based on supercombinators, or an SK-machine, by D. Turner.
Один из подходов к реализации функциональных языков дается машиной, основанной на суперкомбинаторах, или SK-машиной Дэвида Тёрнера.