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

Turing tarpit

Side effect (computer science)

Abstract syntax

First-class function

Semantics (computer science)

Referential transparency

Liskov substitution principle

Turing completeness