diff --git a/Type_Systems/Deep Learning Type Inference.pdf b/Type_Systems/Deep Learning Type Inference.pdf
new file mode 100644
index 0000000..e1ed1f6
Binary files /dev/null and b/Type_Systems/Deep Learning Type Inference.pdf differ
diff --git a/Type_Systems/Learning a Static Analyzer from Data.pdf b/Type_Systems/Learning a Static Analyzer from Data.pdf
new file mode 100644
index 0000000..f2eb75d
Binary files /dev/null and b/Type_Systems/Learning a Static Analyzer from Data.pdf differ
diff --git a/Type_Systems/Principles of Program Analysis.pdf b/Type_Systems/Principles of Program Analysis.pdf
new file mode 100644
index 0000000..5bd94cf
Binary files /dev/null and b/Type_Systems/Principles of Program Analysis.pdf differ
diff --git a/Type_Systems/Type Inference for JavaScript.pdf b/Type_Systems/Type Inference for JavaScript.pdf
new file mode 100644
index 0000000..78f74f2
Binary files /dev/null and b/Type_Systems/Type Inference for JavaScript.pdf differ
diff --git a/Type_Systems/Type Inference for Static Compilation of JavaScript.pdf b/Type_Systems/Type Inference for Static Compilation of JavaScript.pdf
new file mode 100644
index 0000000..c8f72d2
Binary files /dev/null and b/Type_Systems/Type Inference for Static Compilation of JavaScript.pdf differ