Should PLT be included? There's the Backus lecture on why functional programming matters, the ML language and hindley milner type inference, object oriented pro

Should PLT be included? There's the Backus lecture on why functional programming matters, the ML language and hindley milner type inference, object oriented programming, polymorphism, dependent types, lambda calculus, curry howard isomorphism, Martin lof type theory, Automath, coq...