#12578: Update links to SPJ’s papers -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.2.1 Component: Documentation | Version: 8.1 Resolution: fixed | 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): Thank you Ben. I add the correction information about Phab:D3784 to the following: * Equality proofs and deferred type errors (ICFP'12) * NEW: dreixel.net/research/pdf/epdtecp.pdf * OLD: 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/ -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12578#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler