diff --git a/README.md b/README.md
index 8900d4a..a131adb 100644
--- a/README.md
+++ b/README.md
@@ -138,7 +138,9 @@ We also show the limits of dependently-typed functional programming.
 
 ### Rich types, tractable typing
 
-* Type inference
+* (08/12/2017)
+  [Introduction](slides/yrg-00-introduction.pdf),
+  [ML and Type inference](slides/yrg-01-type-inference.pdf)
 * Subtyping
 * Effects and resources
 * Modules
diff --git a/slides/yrg-00-introduction.pdf b/slides/yrg-00-introduction.pdf
new file mode 100644
index 0000000..d232d8e
Binary files /dev/null and b/slides/yrg-00-introduction.pdf differ
diff --git a/slides/yrg-01-type-inference.pdf b/slides/yrg-01-type-inference.pdf
new file mode 100644
index 0000000..c3a22ea
Binary files /dev/null and b/slides/yrg-01-type-inference.pdf differ