Тут человек для начала должен понять, что оно ему надо, ознакомиться-то в наше время не проблема.
Ну не знаю, TAPL я начал, но потом замотался, например.
Допустим, я вот своим юным программерам сам настоятельно рекомендую ознакомиться, наряду с SICP и т.п., как раз с практической точки зрения, но это капля в море.
Вообще, йуным программерам можно рассказать про то, что идей довольно мало и область, реально, дико консервативная. Синтаксисов, похоже, вообще всего три - Fortran, Algol и ISWIM (который делится на подгруппы Miranda/Haskell/Python и SML/Ocaml).
Т.е. по языкам нужно изучить определённый базис, а дальше ничего нового не будет лет 20.
Кстати, ключевые слова по конторам - Inria (она, кста, машобучем тоже занялась), Cambridge, Edinbourg, MSR. Что ещё?