diff --git a/languages-theory/README.md b/languages-theory/README.md
index c9cdfd8..dabff52 100644
--- a/languages-theory/README.md
+++ b/languages-theory/README.md
@@ -12,6 +12,8 @@
 
 * :scroll: [Propositions as Types](http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf)
 
+* :scroll: [Liquid Types](https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf)
+
 * :scroll: [Fundamental Concepts in Programming Languages](https://github.com/papers-we-love/papers-we-love/blob/master/languages-theory/fundamental-concepts-in-programming-languages.pdf)
 
 * :scroll: [On Understanding Types,
diff --git a/languages-theory/liquid_types.pdf b/languages-theory/liquid_types.pdf
new file mode 100644
index 0000000..8e740ca
Binary files /dev/null and b/languages-theory/liquid_types.pdf differ