A GHC Library

Tue Dec 8 08:20:26 UTC 2015

I'm happy to give blanket permission for my papers for myself. But they are almost all ACM copyright, so someone would need to check on the ACM rules.

Simon

| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Eric
| Seidel
| Sent: 08 December 2015 02:35
| To: ghc-devs at haskell.org
| Subject: Re: A GHC Library
| 
| I think a lot of conferences allow authors to host pre-prints elsewhere,
| like arXiv. We could ask the authors of the relevant papers to make the
| submission and then update the links on the Reading List. (Perhaps arXiv
| even has some sort of collection feature?)
| 
| But you're right that we probably can't post the papers to arXiv
| ourselves due to copyright issues.
| 
| Eric
| 
| On Mon, Dec 7, 2015, at 18:08, Richard Eisenberg wrote:
| > How do you suggest getting around copyright issues? I think that's a
| real
| > barrier to this (good) idea.
| >
| > Richard
| >
| > On Dec 7, 2015, at 2:23 PM, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:
| >
| > > I know this is a bit old, but I just had a thought that perhaps we
| could archive GHC papers on
| > >
| https://na01.safelinks.protection.outlook.com/?url=arxiv.org%3f&data=01%7c
| 01%7csimonpj%40064d.mgd.microsoft.com%7c915f4d05834e4998c32c08d2ff783cc0%7
| c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=ldFQ4gqUKvdgrkgKwXTyaYqqGqVIWN
| VOpuFg6U6wwc0%3d This should be permanent and with a bit of effort we can
| get around copyright issues
| > > (I think). Surprisingly little Haskell research can be found on arXiv
| and perhaps it is time we
| > > changed that?
| > >
| > > Janek
| > >
| > > Dnia środa, 29 lipca 2015, Richard Eisenberg napisał:
| > >> Done -- merged into ReadingList.
| > >>
| > >> On Jul 28, 2015, at 9:39 PM, Richard Eisenberg <eir at cis.upenn.edu>
| wrote:
| > >>> On Jul 28, 2015, at 5:23 PM, Simon Peyton Jones
| <simonpj at microsoft.com> wrote:
| > >>>> Good plan; maybe you can merge your list into the existing Reading
| List
| > >>>> that Jan pointed you to?
| > >>>>
| > >>>> I think there would be merit in actually snapshotting the bits into
| one
| > >>>> safe place.  Links go dead etc, and having a single archive
| location
| > >>>> might be a very good thing.  If anyone feels like doing that.
| > >>>
| > >>> That was actually my original intent. But then I worried about
| copyright
| > >>> issues. So instead I just pointed to
| https://na01.safelinks.protection.outlook.com/?url=doi.org&data=01%7c01%7c
| simonpj%40064d.mgd.microsoft.com%7c915f4d05834e4998c32c08d2ff783cc0%7c72f9
| 88bf86f141af91ab2d7cd011db47%7c1&sdata=TQurcyJsYBANxjzUCURy616QBWKe7NxW39A
| kGgcJGn0%3d links, which should at least
| > >>> give our future selves a fighting shot at getting the original
| resource.
| > >>>
| > >>> Will merge with the other page (which I was clearly unaware of)
| tomorrow.
| > >>> I actually think most of my entries are distinct from those on the
| other
| > >>> page, so my work wasn't wasted.
| > >>>
| > >>> Richard
| > >>>
| > >>>> Simon
| > >>>>
| > >>>> | -----Original Message-----
| > >>>> | From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of
| > >>>> | Richard Eisenberg
| > >>>> | Sent: 28 July 2015 16:15
| > >>>> | To: ghc-devs Devs
| > >>>> | Subject: A GHC Library
| > >>>> |
| > >>>> | Hi devs,
| > >>>> |
| > >>>> | It has struck me that we have a vast trove of documentation about
| GHC
| > >>>> | in the form of academic papers, but little organization to this
| trove.
| > >>>> | The papers are scattered across authors' websites, and sometimes
| it is
| > >>>> | hard to remember what a paper is titled when searching for it.
| > >>>> |
| > >>>> | I have thus started a wiki page here:
| > >>>> | https://ghc.haskell.org/trac/ghc/wiki/Library
| > >>>> |
| > >>>> | I would love for this page to be the Definitive List of GHC-
| related
| > >>>> | papers. The list I've included is, of course, woefully short, but
| it
| > >>>> | is a starting point. Please add to it!
| > >>>> |
| > >>>> | Have you written a GHC paper? If so, make sure it's included.
| > >>>> |
| > >>>> | Thanks,
| > >>>> | Richard
| > >>>> | _______________________________________________
| > >>>> | ghc-devs mailing list
| > >>>> | ghc-devs at haskell.org
| > >>>> |
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haske
| ll.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
| devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c915f4d05834e4998c32
| c08d2ff783cc0%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=N6GWv26zD1q7QW8
| qcDPYVsZkngQcFMrkEthbUg32VHs%3d
| > >>>
| > >>> _______________________________________________
| > >>> ghc-devs mailing list
| > >>> ghc-devs at haskell.org
| > >>>
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haske
| ll.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
| devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c915f4d05834e4998c32
| c08d2ff783cc0%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=N6GWv26zD1q7QW8
| qcDPYVsZkngQcFMrkEthbUg32VHs%3d
| > >>
| > >> _______________________________________________
| > >> ghc-devs mailing list
| > >> ghc-devs at haskell.org
| > >>
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haske
| ll.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
| devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c915f4d05834e4998c32
| c08d2ff783cc0%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=N6GWv26zD1q7QW8
| qcDPYVsZkngQcFMrkEthbUg32VHs%3d
| > >
| > >
| > >
| > > ---
| > > Politechnika Łódzka
| > > Lodz University of Technology
| > >
| > > Treść tej wiadomości zawiera informacje przeznaczone tylko dla
| adresata.
| > > Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją
| przez pomyłkę
| > > prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.
| > >
| > > This email contains information intended solely for the use of the
| individual to whom it is addressed.
| > > If you are not the intended recipient or if you have received this
| message in error,
| > > please notify the sender and delete it from your system.
| > >
| >
| > _______________________________________________
| > ghc-devs mailing list
| > ghc-devs at haskell.org
| >
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haske
| ll.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
| devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c915f4d05834e4998c32
| c08d2ff783cc0%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=N6GWv26zD1q7QW8
| qcDPYVsZkngQcFMrkEthbUg32VHs%3d
| _______________________________________________
| ghc-devs mailing list
| ghc-devs at haskell.org
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haske
| ll.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
| devs%0a&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c915f4d05834e4998
| c32c08d2ff783cc0%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=87iep1zsPQva
| opd5KzemVlxWKJDnaqrtZq6HbmAs2ew%3d