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:

    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)

    The soft complaining FLUTE
    In dying Notes discovers
    The Woes of hopeless Lovers,
    Whose Dirge is whisper’d by the warbling LUTE.
    John Dryden (1631–1700)

    My notes have a curious tendency, as I realize at last, to annihilate all they purport to record.
    Samuel Beckett (1906–1989)