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

First-class function

Liskov substitution principle

Side effect (computer science)

Referential transparency

Semantics (computer science)

Turing tarpit

Abstract syntax

Turing completeness