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

[GHC]

#12578: Update links to SPJ’s papers
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  (none)
            Type:  task              |               Status:  patch
        Priority:  normal            |            Milestone:  8.4.1
       Component:  Documentation     |              Version:  8.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D3745
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by takenobu):

 I also fixed wiki pages as following:
   * created an anchor tag for old 'ext-f' in ReadingList [1] and linked
 them there.
   * updated old links for each pages.

 [1]: https://ghc.haskell.org/trac/ghc/wiki/ReadingList#TypeEqualities


 The relationship between old and new links are below.

   * System F with Type Equality Coercions (Including post-publication
 Appendix)
     * NEW: www.microsoft.com/en-us/research/wp-
 content/uploads/2007/01/tldi22-sulzmann-with-appendix.pdf
     * OLD: research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/tldi22-sulzmann-with-appendix.pdf
     * OLD: research.microsoft.com/~simonpj/papers/ext-f/fc-tldi.pdf
     * OLD: research.microsoft.com/~simonpj/papers/ext-f/

   * Equality proofs and deferred type errors (ICFP'12)
     * NEW: www.microsoft.com/en-us/research/wp-
 content/uploads/2012/01/icfp12.pdf
     * OLD: research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/icfp12.pdf
     * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/

   * Safe Zero-cost Coercions for Haskell (ICFP'14)
     * NEW: www.microsoft.com/en-us/research/wp-
 content/uploads/2016/07/coercible.pdf
     * OLD: research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/coercible.pdf

   * Closed Type Families with Overlapping Equations (POPL'14)
     * NEW: www.microsoft.com/en-us/research/wp-
 content/uploads/2016/07/popl137-eisenberg.pdf
     * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/ext-f
 /axioms-extended.pdf
     * OLD: research.microsoft.com/en-
 us/um/people/simonpj/papers/ext-f/popl137-eisenberg.pdf

   * Injective Type Families for Haskell (Haskell'15)
     * NEW: www.microsoft.com/en-us/research/wp-content/uploads/2016/07
 /injective-type-families-acm.pdf
     * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/ext-f
 /injective-type-families-acm.pdf


   * Comprehensive comprehensions
     * NEW: www.microsoft.com/en-us/research/wp-content/uploads/2007/09
 /list-comp.pdf
     * OLD: research.microsoft.com/~simonpj/papers/list-comp

   * Understanding functional dependencies via Constraint Handling Rules
     * NEW: www.microsoft.com/en-us/research/wp-
 content/uploads/2016/02/jfp06.pdf
     * OLD: research.microsoft.com/%7Esimonpj/papers/fd%2Dchr/

   * OutsideIn(X) Modular type inference with local assumptions
     * NEW: www.microsoft.com/en-us/research/wp-content/uploads/2016/02
 /jfp-outsidein.pdf
     * OLD: research.microsoft.com/~simonpj/papers/constraints/index.htm

   * STM
     * NEW:
 wiki.haskell.org/Research_papers/Parallelism_and_concurrency#Lock_free_data_structures_and_transactional_memory
     * OLD: research.microsoft.com/%7Esimonpj/papers/stm/index.htm

   * Extending the Haskell Foreign Function Interface with Concurrency
     * NEW: community.haskell.org/~simonmar/papers/conc-ffi.pdf
     * OLD: research.microsoft.com/%7Esimonpj/Papers/conc-ffi/index.htm

   * Haskell on a Shared-Memory Multiprocessor
     * NEW: community.haskell.org/~simonmar/papers/multiproc.pdf
     * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/parallel/

   * Towards Haskell in the Cloud
     * NEW: www.microsoft.com/en-us/research/wp-
 content/uploads/2016/07/remote.pdf
     * OLD: research.microsoft.com/en-us/um/people/simonpj/papers/parallel/

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