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:

    The question of place and climate is most closely related to the question of nutrition. Nobody is free to live everywhere; and whoever has to solve great problems that challenge all his strength actually has a very restricted choice in this matter. The influence of climate on our metabolism, its retardation, its acceleration, goes so far that a mistaken choice of place and climate can not only estrange a man from his task but can actually keep it from him: he never gets to see it.
    Friedrich Nietzsche (1844–1900)

    It’s a melody full of the laughter of children out after the rain.
    —Dorothy Fields (1904–1974)