Nominative Type System - Notes

Notes

  • Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 0-262-16209-1., section 19.3

Read more about this topic:  Nominative Type System

Famous quotes containing the word notes:

    If the heart of a man is deprest with cares,
    The mist is dispell’d when a woman appears;
    Like the notes of a fiddle, she sweetly, sweetly
    Raises the spirits, and charms our ears.
    John Gay (1685–1732)

    The germ of violence is laid bare in the child abuser by the sheer accident of his individual experience ... in a word, to a greater degree than we like to admit, we are all potential child abusers.
    F. Gonzalez-Crussi, Mexican professor of pathology, author. “Reflections on Child Abuse,” Notes of an Anatomist (1985)

    I am thankful for small mercies. I compared notes with one of my friends who expects everything of the universe, and is disappointed when anything is less than best, and I found that I begin at the other extreme, expecting nothing, and am always full of thanks for moderate goods.
    Ralph Waldo Emerson (1803–1882)