put the draft online

affeldt-aist · Apr 2, 2019 · 1036282 · 1036282
1 parent 0c0a57c
commit 1036282
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/201903/compact-20190331.pdf b/201903/compact-20190331.pdf
diff --git a/README.org b/README.org
@@ -21,3 +21,9 @@ A tentative formalization of compact data structures following [1]
 1. ~coq_makefile -f _CoqProject -o Makefile~
 2. ~make~
 
+** Accompanying material
+
+- Most recent [draft paper](201903/compact-20190331.pdf)
+- TPP 2018 slides for [LOUDS](tpp2018/slides_louds_en.pdf) and [dynamic
+  bit vectors](tp2018/slides_dynamic.pdf)
+- JSSST 2018 [draft paper](jssst2018/compact.pdf)