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

Liskov substitution principle

First-class function

Referential transparency

Side effect (computer science)

Semantics (computer science)

Abstract syntax

Turing tarpit

Turing completeness