corn
corn copied to clipboard
coq-community
Listing and preserving Corn-related publications
There are quite a few publications in the regular and grey literature related to Corn, e.g.,
- https://valentinblot.org/pro/M1_report.pdf
- https://link.springer.com/chapter/10.1007/978-3-540-27818-4_7
- https://arxiv.org/abs/0805.2438
Some are listed at the old website, but not all. Ideally, all should be listed in the README file or somewhere else in this repository (both DOIs and archived preprint URLs, when available). Authors of papers not in permanent archives should be encouraged to submit them to such archives (e.g., HAL or arXiv).
We already have such a list:
http://corn.cs.ru.nl/pub.html
from my phone
On Sat, Aug 15, 2020, 20:45 Karl Palmskog [email protected] wrote:
There are quite a few publications in the regular and grey literature related to Corn, e.g.,
- https://valentinblot.org/pro/M1_report.pdf
- https://link.springer.com/chapter/10.1007/978-3-540-27818-4_7
- https://arxiv.org/abs/0805.2438
These should be listed in README file or somewhere else in the repository. Authors of papers not in permanent archives should be encouraged to submit them to such archives (e.g., HAL or arXiv).
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/coq-community/corn/issues/119, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABTNTRV3UIIBC634ZIMF2TSA3JUXANCNFSM4QAM53SQ .
Added the missing publications, and put a link in the README.
Thanks @palmskog
@spitters We now have explicit support in our templates for listing related papers in meta.yml (see example), why not use it? This also makes it possible for others to make pull requests to suggest new (or old) papers, and autogenerate website pages.
For example, the following is currently not listed: http://www.eelis.net/research/hybrid/hybrid-itp10.pdf
Thanks. That's a good suggestions. It will take some time to convert the list from the website into meta.ml.
I don't think the Hybrid system project was ever integrated into corn, and I'm not sure it still compiles. https://github.com/Eelis/hybrid