Programming Language Theory - Sub-disciplines and Related Fields

Sub-disciplines and Related Fields

There are several fields of study which either lie within programming language theory, or which have a profound influence on it; many of these have considerable overlap. In addition, PLT makes use of many other branches of mathematics, including computability theory, category theory, and set theory.

Read more about this topic:  Programming Language Theory

Famous quotes containing the words related and/or fields:

    A parent who from his own childhood experience is convinced of the value of fairy tales will have no difficulty in answering his child’s questions; but an adult who thinks these tales are only a bunch of lies had better not try telling them; he won’t be able to related them in a way which would enrich the child’s life.
    Bruno Bettelheim (20th century)

    Leave your worry on the doorstep.
    —Dorothy Fields (1904–1974)