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 near explains the far. The drop is a small ocean. A man is related to all nature. This perception of the worth of the vulgar is fruitful in discoveries. Goethe, in this very thing the most modern of the moderns, has shown us, as none ever did, the genius of the ancients.
    Ralph Waldo Emerson (1803–1882)

    Within the regions of the air,
    Compassed about with heavens fair,
    Great tracts of land there may be found
    Enriched with fields and fertile ground;
    Where many numerous hosts
    In those far distant coasts,
    For other great and glorious ends,
    Inhabit, my yet unknown friends.
    Thomas Traherne (1636–1674)