diff --git a/plt/principal-type-schemes-for-functional-programs.pdf b/plt/principal-type-schemes-for-functional-programs.pdf
new file mode 100644
index 0000000..b81ab3b
Binary files /dev/null and b/plt/principal-type-schemes-for-functional-programs.pdf differ