[GHC] #12578: Update links to SPJ’s papers

[GHC]

#12578: Update links to SPJ’s papers
-------------------------------------+-------------------------------------
           Reporter:  nomeata        |             Owner:
               Type:  task           |            Status:  new
           Priority:  normal         |         Milestone:  8.2.1
          Component:  Documentation  |           Version:  8.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 It seems that Simon’s homepage got restructured, and a lot of links in the
 documentation and the code comments are not valid any more.

 At least these need to be looked at:

 {{{
 $ git grep 'people/simonpj'
 compiler/types/FamInstEnv.hs:http://research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/axioms-extended.pdf
 compiler/types/Unify.hs:[1]: http://research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/axioms-extended.pdf
 docs/core-spec/core-spec.mng:phantom equality includes all types. See
 \url{http://ghc.haskell.org/trac/ghc/wiki/Roles} and
 \url{http://research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/coercible.pdf}
 docs/users_guide/glasgow_exts.rst:paper <http://research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/>`__.
 docs/users_guide/glasgow_exts.rst:cloud <http://research.microsoft.com/en-
 us/um/people/simonpj/papers/parallel/remote.pdf>`__,
 docs/users_guide/using-optimisation.rst:    multiprocessor
 <http://research.microsoft.com/en-
 us/um/people/simonpj/papers/parallel/>`__.
 docs/users_guide/using-optimisation.rst:    (ICFP'96)
 <http://research.microsoft.com/en-
 us/um/people/simonpj/papers/float.ps.gz>`__.
 docs/users_guide/using-optimisation.rst:    (ICFP'96)
 <http://research.microsoft.com/en-
 us/um/people/simonpj/papers/float.ps.gz>`__.
 docs/users_guide/using-optimisation.rst:    programs
 <http://research.microsoft.com/en-us/um/people/simonpj/papers/spec-
 constr/index.htm>`__.
 docs/users_guide/using-optimisation.rst:    thesis
 <http://research.microsoft.com/en-us/um/people/simonpj/papers/santos-
 thesis.ps.gz>`__
 docs/users_guide/using-optimisation.rst:    analyser
 <http://research.microsoft.com/en-us/um/people/simonpj/papers/simple-
 strictnes-analyser.ps.gz>`__,
 libraries/base/GHC/Arr.hs:--   http://research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/coercible.pdf
 libraries/base/GHC/Base.hs:--   http://research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/coercible.pdf
 testsuite/tests/dependent/should_compile/all.T:#
 http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-
 dynamic/
 $ git grep '~simonpj'
 compiler/coreSyn/CoreSyn.hs:-- GHC uses System FC
 <http://research.microsoft.com/~simonpj/papers/ext-f/> for this purpose,
 docs/users_guide/bugs.rst:   inliner
 <http://research.microsoft.com/~simonpj/Papers/inlining/>`__.
 docs/users_guide/glasgow_exts.rst:   Languages
 <http://research.microsoft.com/~simonpj/Papers/slpj-book-1987/>`__.
 docs/users_guide/glasgow_exts.rst:"group by"
 <http://research.microsoft.com/~simonpj/papers/list-comp>`__,
 docs/users_guide/glasgow_exts.rst:space
 <http://research.microsoft.com/~simonpj/Papers/type-class-design-
 space/>`__
 docs/users_guide/glasgow_exts.rst:papers
 <http://research.microsoft.com/~simonpj/papers/constraints/index.htm>`__
 docs/users_guide/glasgow_exts.rst:Haskell
 <http://research.microsoft.com/~simonpj/papers/meta-haskell/>`__"
 docs/users_guide/glasgow_exts.rst:2
 <http://research.microsoft.com/~simonpj/papers/meta-haskell/notes2.ps>`__.
 libraries/base/Control/Concurrent/MVar.hs:--
 <http://research.microsoft.com/~simonpj/papers/concurrent-haskell.ps.gz
 "Concurrent Haskell">
 libraries/base/GHC/Conc/Sync.hs:(<http://research.microsoft.com/~simonpj/Papers
 /asynch-exns.htm>).
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12578>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler