>"The most commonly cited example now is Haskell, which is a fairly state-of-the-art language in terms of PLT research, and is a great illustration of the functional paradigm, due to its purity."

What is PLT? I didn't recognize this acronym and it was too general to Google. Thanks.