#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