add link to coq2023

affeldt-aist · Jul 27, 2023 · f179c1d · f179c1d
1 parent a05885e
commit f179c1d
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -41,9 +41,10 @@ in several examples of monadic equational reasoning.
 - Coq namespace: `monae`
 - Related publication(s):
   - [A hierarchy of monadic effects for program verification using equational reasoning](https://staff.aist.go.jp/reynald.affeldt/documents/monae.pdf) doi:[10.1007/978-3-030-33636-3_9](https://doi.org/10.1007/978-3-030-33636-3_9)
-  - [A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism](https://arxiv.org/abs/2003.09993) doi:[10.1017/S0956796821000137](https://doi.org/10.1017/S0956796821000137)
   - [Extending Equational Monadic Reasoning with Monad Transformers](https://drops.dagstuhl.de/opus/volltexte/2021/13881/) doi:[10.4230/LIPIcs.TYPES.2020.2](https://doi.org/10.4230/LIPIcs.TYPES.2020.2)
+  - [A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism](https://arxiv.org/abs/2003.09993) doi:[10.1017/S0956796821000137](https://doi.org/10.1017/S0956796821000137)
   - [Towards a practical library for monadic equational reasoning in Coq](https://staff.aist.go.jp/reynald.affeldt/documents/monae-mpc2022.pdf) doi:[10.1007/978-3-031-16912-0_6](https://doi.org/10.1007/978-3-031-16912-0_6)
+  - [Environment-friendly monadic equational reasoning for OCaml](https://coq-workshop.gitlab.io/2023/abstracts/coq2023_monadic-reasoning.pdf) 
 
 ## Building and installation instructions
 

diff --git a/meta.yml b/meta.yml
@@ -115,15 +115,17 @@ publications:
 - pub_url: https://staff.aist.go.jp/reynald.affeldt/documents/monae.pdf
   pub_title: A hierarchy of monadic effects for program verification using equational reasoning
   pub_doi: 10.1007/978-3-030-33636-3_9
-- pub_url: https://arxiv.org/abs/2003.09993
-  pub_title: A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
-  pub_doi: 10.1017/S0956796821000137
 - pub_url: https://drops.dagstuhl.de/opus/volltexte/2021/13881/
   pub_title: Extending Equational Monadic Reasoning with Monad Transformers
   pub_doi: 10.4230/LIPIcs.TYPES.2020.2
+- pub_url: https://arxiv.org/abs/2003.09993
+  pub_title: A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
+  pub_doi: 10.1017/S0956796821000137
 - pub_url: https://staff.aist.go.jp/reynald.affeldt/documents/monae-mpc2022.pdf
   pub_title: Towards a practical library for monadic equational reasoning in Coq
   pub_doi: 10.1007/978-3-031-16912-0_6
+- pub_url: https://coq-workshop.gitlab.io/2023/abstracts/coq2023_monadic-reasoning.pdf
+  pub_title: Environment-friendly monadic equational reasoning for OCaml
 
 #make_target: [
 #  [make "-j%{jobs}%"]