Category:プログラミング言語理論

First-class function

Side effect (computer science)

Turing tarpit

Liskov substitution principle

Semantics (computer science)

Abstract syntax

Referential transparency

Turing completeness