Английский ⇄ Русский +

strongly typed functional programming ударения
прогр.	функциональное программирование со строгой типизацией (Alex_Odeychuk); строго типизированное функциональное программирование (Alex_Odeychuk)