diff --git a/papers/evidently-with-proofs-5f0b7d860b387.pdf b/papers/evidently-with-proofs-5f0b7d860b387.pdf
new file mode 100644
index 000000000..fc711d16b
Binary files /dev/null and b/papers/evidently-with-proofs-5f0b7d860b387.pdf differ
diff --git a/papers/kind-inference-for-datatypes-technical-supplement.pdf b/papers/kind-inference-for-datatypes-technical-supplement.pdf
new file mode 100644
index 000000000..ed9ce5c5b
Binary files /dev/null and b/papers/kind-inference-for-datatypes-technical-supplement.pdf differ
diff --git a/papers/kind-inference-for-datatypes.pdf b/papers/kind-inference-for-datatypes.pdf
new file mode 100644
index 000000000..a1c00b908
Binary files /dev/null and b/papers/kind-inference-for-datatypes.pdf differ
diff --git a/papers/koka-paper.pdf b/papers/koka-paper.pdf
new file mode 100644
index 000000000..766a6aba0
Binary files /dev/null and b/papers/koka-paper.pdf differ