diff --git a/languages/README.md b/languages/README.md
new file mode 100644
index 0000000..bb76a05
--- /dev/null
+++ b/languages/README.md
@@ -0,0 +1,16 @@
+# Programming Language Theory
+
+Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.
+
+## Included Papers
+
+* :scroll: [On the Expressive Power of Programming Languages](https://www.sciencedirect.com/science/article/pii/016764239190036W) (Matthias Felleisen): "The literature on programming languages contains an abundance of informal
+claims on the relative expressive power of programming languages, but there
+is no framework for formalizing such statements nor for deriving interesting
+consequences. As a first step in this direction, we develop a formal notion
+of expressiveness and investigate its properties. To demonstrate the theory's
+closeness to published intuitions on expressiveness, we analyze the expressive
+power of several extensions of functional languages. Based on these results,
+we believe that our system correctly captures many of the informal ideas on
+expressiveness, and that it constitutes a good basis for further research in this
+direction. " (abstract)