Newcomers to PLDI are often compelled to ask what many of our abbreviations and terms mean. Let us list them here so this information always will be easily available.

Terms should be somewhat specific to this site. If they are on the general SE list of abbreviations no need to copy them here.


1 Answer 1


Please keep answers in alphabetical order.

  • 2
    $\begingroup$ Where does the term “praclang” originate? I was entirely unfamiliar with it, and searching the internet doesn’t really return any hits. $\endgroup$
    – Alexis King Mod
    Commented Jul 24, 2023 at 17:26
  • 4
    $\begingroup$ We use it a lot on CGCC, where esolangs are common enough that it needs to be specified if a language is intended to be actually used. It's been used in chat on this site too but some people didn't know what it meant which was actually the entire trigger for making this post $\endgroup$
    – mousetail
    Commented Jul 24, 2023 at 17:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .