Update README: rearrange papers, add new Coq WC paper.

4ever2 · Jun 21, 2021 · 4c2dae8 · 4c2dae8
1 parent f30536c
commit 4c2dae8
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -41,13 +41,14 @@ It supports Liquidity and Elm as target languages. The extraction also features
 The [execution](execution/) subproject can be built independently via running `make` in the `execution` folder. This also means that the `_CoqProject` file inside the `execution` folder must be manually kept in sync with the main `_CoqProject` in the root.
 
 ## Papers
- - ["Smart Contract Interactions in Coq"](https://arxiv.org/abs/1911.04732)
-   Jakob Botsch Nielsen, Bas Spitters. 1st Workshop on Formal Methods for Blockchains, 3rd Formal Methods World Congress, October 2019.
-- ["ConCert: A Smart Contract Certification Framework in Coq"](https://arxiv.org/abs/1907.10674)
-  Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters. CPP 2020.
+- ["Extending MetaCoq Erasure: Extraction to Rust and Elm"](https://dannenkov.me/papers/extraction-rust-elm-coq-workshop2021.pdf). Extended abstract. The Coq Workshop 2021  Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, and Bas Spitters.
+- ["Extracting Smart Contracts Tested and Verified in Coq"](https://arxiv.org/abs/2012.09138) Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters. CPP'21.
 - ["Verifying, testing and running smart contracts in ConCert"](https://cs.au.dk/fileadmin/site_files/cs/AA_pdf/COBRA_Paper_-_Verifying__testing_and_running_smart_contracts_in_ConCert.pdf)
   Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters. Coq Workshop 2020.
-- ["Extracting Smart Contracts Tested and Verified in Coq"](https://arxiv.org/abs/2012.09138) Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters. CPP'21.
+- ["ConCert: A Smart Contract Certification Framework in Coq"](https://arxiv.org/abs/1907.10674)
+  Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters. CPP 2020.
+- ["Smart Contract Interactions in Coq"](https://arxiv.org/abs/1911.04732)
+   Jakob Botsch Nielsen, Bas Spitters. 1st Workshop on Formal Methods for Blockchains, 3rd Formal Methods World Congress, October 2019.
 
 ### Citing the papers
 ```