Programming languages and applied logic

Fifteen Eighty Four


Number of articles per page:

  • 26 Apr 2019
    Adrian Burd

    Making mathematical methods less intimidating

    My research career has taken a somewhat non-linear path, starting in theoretical cosmology and ending up in marine sciences. Each transition has required me to learn new things, and so many years ago I was involved in an Antarctic Field Training Course run by the US National Science Foundation. The course was highly interdisciplinary, and […]

    Read More
  • 1 May 2017
    Robert Harper

    What, if anything, is a programming paradigm?

    Everyone who writes about programming languages seeks to impose order on the chaos of extant languages. A common strategy is to borrow Thomas Kuhn’s concept of a scientific paradigm, itself a not uncontroversial attempt to explain the social processes of science in his famous book entitled The Structure of Scientific Revolutions (Kuhn, 1975). Following Kuhn, […]

    Read More

Number of articles per page:

Authors in Programming languages and applied logic