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-called “austerity,” the stoic injunction, is the path towards universal destruction. It is the old, the fatal, competitive path. “Pull in your belt” is a slogan closely related to “gird up your loins,” or the guns-butter metaphor.
    Wyndham Lewis (1882–1957)

    Mantled in grey, the dusk steals slowly in,
    Crossing the dead, dull fields with footsteps cold.
    Philip Larkin (1922–1986)