
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

Hey Richard,
Just a layman's bit of input: when I read "GHC Library," I immediately
think of "calling the GHC API from Haskell code," not "a collection of
writings about GHC organized properly." The terminology overload may
cause confusion.
Michael
On Tue, Jul 28, 2015 at 8:14 AM, Richard Eisenberg
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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

I have thus started a wiki page here: https://ghc.haskell.org/trac/ghc/wiki/Library Oh no... we aleady have such a page:
https://ghc.haskell.org/trac/ghc/wiki/ReadingList And, actually, we used to have two: https://ghc.haskell.org/trac/ghc/wiki/GhcPapers But I made an effort last year and merged the contents of these two pages into one. Janek --- 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.

Oh no... we aleady have such a page:
And it's linked straight from the Commentary page: https://ghc.haskell.org/trac/ghc/wiki/Commentary There's also another reading list http://www.stephendiehl.com/posts/essential_compilers.html from Stephen Diehl.

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. Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@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@haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

On Jul 28, 2015, at 5:23 PM, Simon Peyton Jones
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 doi.org 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@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@haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Done -- merged into ReadingList.
On Jul 28, 2015, at 9:39 PM, Richard Eisenberg
On Jul 28, 2015, at 5:23 PM, Simon Peyton Jones
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 doi.org 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@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@haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

I know this is a bit old, but I just had a thought that perhaps we could archive GHC papers on arxiv.org? 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
wrote: On Jul 28, 2015, at 5:23 PM, Simon Peyton Jones
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 doi.org 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@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@haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
--- 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.

Fine with me!
Simon
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Jan
| Stolarek
| Sent: 07 December 2015 19:23
| To: ghc-devs@haskell.org
| Subject: Re: A GHC Library
|
| 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%7ca2adbaa6bd4049062fdc08d2ff3be049%7
| c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=DPsbkXORwm0j%2b2rliDrxdtlrAiJs
| i2YuKene5w5NXvo%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

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
I know this is a bit old, but I just had a thought that perhaps we could archive GHC papers on arxiv.org? 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
wrote: On Jul 28, 2015, at 5:23 PM, Simon Peyton Jones
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 doi.org 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@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@haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
--- 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.

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
wrote: I know this is a bit old, but I just had a thought that perhaps we could archive GHC papers on arxiv.org? 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
wrote: On Jul 28, 2015, at 5:23 PM, Simon Peyton Jones
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 doi.org 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@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@haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
--- 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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@haskell.org] On Behalf Of Eric
| Seidel
| Sent: 08 December 2015 02:35
| To: ghc-devs@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

How do you suggest getting around copyright issues? LIke Eric said - by posting pre-prints. I think this should be legal.
Note also these two clauses in the ACM Copyright Agreement: 1. "Copyright to the Work (...) is hereby transferred to the ACM (...) effective as of the date of this agreement" - which means that until you sign the agreement you can do whatever you want with your work, including posting it on arXiv. This does not help with any papers published in the past but I suppose it's worth noting for the future papers. 2. "Permitted Uses (...) Post the Accepted Version of the Work on (...) any repository legally mandated by an agency funding the research on which the Work is based." So if anyone manages to convice their university that they require all published papers to be posted to arXiv, then it will be legal to post the accepted versions of the paper on arXiv :-) Janek --- 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.
participants (6)
-
Eric Seidel
-
Jan Stolarek
-
Michael Snoyman
-
Richard Eisenberg
-
Simon Peyton Jones
-
Thomas Miedema