The good thing about standards is that each one can choose the one he likes. (I can't find the exact quote.)
Functional programming is like Object Oriented programming, each one has his own definition that is very similar to the other definitions but has a few tweaks to make possible to include his preferred language.
Anyway, I can't understand what this means: (from the article)
> Static linking: All variables are allocated at compile time and are statically linked. No need to go into more details.
No. At school, my teacher said that functional languages needed to have the 4 following features: procedures as data, tail-recursion, closure, garbage collector. There are many other features that define families of functional languages. homoiconicity vs rich syntax. lazy vs strict evaluation. pure vs mutable. static vs dynamic typing. call/cc, macros, ...
Is there an international standard or a some sort of formal proof?