From abf5c6354710250c5b9cc4482a2ef7c9580a9a03 Mon Sep 17 00:00:00 2001 From: Olivier Nicole Date: Fri, 29 Sep 2023 15:16:38 +0200 Subject: [PATCH] Update with latest papers and add missing PDF --- index.en.html | 13 ++++++++++++- index.eo.html | 11 +++++++++++ index.fr.html | 15 +++++++++++++-- papers/defense.pdf | Bin 0 -> 2141332 bytes papers/icfp_2023_macros.pdf | Bin 0 -> 517531 bytes papers/ocaml_2023_tsan.pdf | Bin 0 -> 556817 bytes papers/ocaml_2023_tsan_abstract.pdf | Bin 0 -> 130212 bytes 7 files changed, 36 insertions(+), 3 deletions(-) create mode 100644 papers/defense.pdf create mode 100644 papers/icfp_2023_macros.pdf create mode 100644 papers/ocaml_2023_tsan.pdf create mode 100644 papers/ocaml_2023_tsan_abstract.pdf diff --git a/index.en.html b/index.en.html index 7231f69..9bd6f6a 100644 --- a/index.en.html +++ b/index.en.html @@ -49,7 +49,11 @@

Personal projects

Communications