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:

    So universal and widely related is any transcendent moral greatness, and so nearly identical with greatness everywhere and in every age,—as a pyramid contracts the nearer you approach its apex,—that, when I look over my commonplace-book of poetry, I find that the best of it is oftenest applicable, in part or wholly, to the case of Captain Brown.
    Henry David Thoreau (1817–1862)

    a child’s
    Forgotten mornings when he walked with his mother
    Through the parables
    Of sunlight
    And the legends of the green chapels

    And the twice-told fields of infancy
    Dylan Thomas (1914–1953)