PLT

PLT stands for Programming Language Theory.