diff --git a/Language Design/ Structure and Interpretation of Computer Programs.pdf b/Programming Language Theory/ Structure and Interpretation of Computer Programs.pdf
similarity index 100%
rename from Language Design/ Structure and Interpretation of Computer Programs.pdf
rename to Programming Language Theory/ Structure and Interpretation of Computer Programs.pdf
diff --git a/Programming Language Theory/A Model for Reasoning About JavaScript Promises.pdf b/Programming Language Theory/A Model for Reasoning About JavaScript Promises.pdf
new file mode 100644
index 0000000..2884a9e
Binary files /dev/null and b/Programming Language Theory/A Model for Reasoning About JavaScript Promises.pdf differ
diff --git a/Programming Language Theory/Fast and precise type checking for JavaScript.pdf b/Programming Language Theory/Fast and precise type checking for JavaScript.pdf
new file mode 100644
index 0000000..e330bc2
Binary files /dev/null and b/Programming Language Theory/Fast and precise type checking for JavaScript.pdf differ
diff --git a/Language Design/Near Future Programming Languages.pdf b/Programming Language Theory/Near Future Programming Languages.pdf
similarity index 100%
rename from Language Design/Near Future Programming Languages.pdf
rename to Programming Language Theory/Near Future Programming Languages.pdf
diff --git a/Programming Language Theory/Statistically Rigorous Java Performance Evaluation.pdf b/Programming Language Theory/Statistically Rigorous Java Performance Evaluation.pdf
new file mode 100644
index 0000000..41ee707
Binary files /dev/null and b/Programming Language Theory/Statistically Rigorous Java Performance Evaluation.pdf differ