Two powerful, mind-bending items missing from the list of paradigms:

(1) Dependent types. c.f Idris (or Agda, or others -- but Idris).

(2) Logic programming. (It appears in the list of languages ("miniprolog") but not the list of paradigms.)

I consider both of these much more important than some of the more popular paradigms (object-oriented, procedural, dynamic typing -- if I never use such a language again it'll be too soon).