资料来源 : Free On-Line Dictionary of Computing

University of Edinburgh
     
         A university in the centre of Scotland's
        capital.  The University of Edinburgh has been promoting and
        setting standards in education for over 400 years.  Granted
        its Royal Charter in 1582 by James VI, the son of Mary Queen
        of Scots, the University was founded the following year by the
        Town Council of Edinburgh, making it the first
        post-Reformation university in Scotland, and the first civic
        university to be established in the British Isles.
     
        Known in its early years as King James College, or the Tounis
        (Town's) College, the University soon established itself
        internationally, and by the 18th century Edinburgh was a
        leading centre of the European Enlightenment and one of the
        continent's principal universities.  The University's close
        relationship with the city in which it is based, coupled with
        a forward-looking, international perspective, has kept
        Edinburgh at the forefront of new research and teaching
        developments whilst enabling it to retain a uniquely Scottish
        character.
     
        Edinburgh's academics are at the forefront of developments in
        the study and application of languages, medicine,
        micro-electronics, biotechnology, computer-based disciplines
        and many other subjects.  Edinburgh's standing as a world
        centre for research is further enhanced by the presence on and
        around University precincts of many independently-funded, but
        closely linked, national research institutes
     
        {Home (http://www.ed.ac.uk/)}.
     
        Address:  Old College, South Bridge, Edinburgh, Scotland EH8
        9YL, UK.
     
        Telephone: +44 (131) 650 1000.
     
        See also {ABSET}, {ABSYS}, {Alice}, {ASL+}, {Baroque},
        {C++Linda}, {Cogent Prolog}, {COWSEL}, {Echidna}, {Edinburgh
        Prolog}, {Edinburgh SML}, {EdML}, {ELLIS}, {ELSIE},
        {ESLPDPRO}, {Extended ML}, {Hope}, {IMP}, {LCF}, {Lisp-Linda},
        {Marseille Prolog}, {metalanguage}, {MIKE}, {ML}, {ML Kit},
        {ML-Linda}, {Multipop-68}, {Nuprl}, {Oblog}, {paraML},
        {Pascal-Linda}, {POP-1}, {POP-2}, {POPLER}, {Prolog},
        {Prolog-2}, {Prolog-Linda}, {Scheme-Linda}, {Skel-ML},
        {Standard ML}, {Sticks&Stones}, {supercombinators},
        {SWI-Prolog}, {tail recursion modulo cons}, {WPOP}.
     
        (1995-12-29)