coq-community/corn

Listing and preserving Corn-related publications

Opened this issue · 4 comments

There are quite a few publications in the regular and grey literature related to Corn, e.g.,

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).

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