Slava Pestov slides

cornell-pl · Dec 2, 2023 · 2d50a6b · 2d50a6b
1 parent c7c6661
commit 2d50a6b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/content/pldg/2023fa.md b/content/pldg/2023fa.md
@@ -41,7 +41,7 @@ plan to present virtually.
 | Oct 18  | [Efficiency of Learning from Proof Blocks Versus Writing Proofs][poulsen] | Dietrich Geisler |      |
 | Oct 25  | Cancelled                |                 |      |
 | Nov 1   | Amiga review for PLDI    |                 |      |
-| Nov 8   | Parametric polymorphism in Swift: Protocols and associated types | Slava Pestov (Apple)  | Josh |
+| Nov 8   | [Parametric polymorphism in Swift: Protocols and associated types][slava-slides] | Slava Pestov (Apple)  | Josh |
 | Nov 15  | Cancelled                |                 |      |
 | Nov 22  | (Thanksgiving break - No PLDG)     |                 |      |
 | Nov 29  | [Activation Energy: Technology Lanscapes and Forces of Adoption][graydon-slides]  | Graydon Hoare | Justin |
@@ -64,3 +64,4 @@ to access them.
 [diffai]: https://dl.acm.org/doi/abs/10.1145/3563324
 [poulsen]: https://dl.acm.org/doi/abs/10.1145/3545945.3569797
 [graydon-slides]: http://d22yoqkt46k26p.cloudfront.net/graydon/talks/activation-energy.pdf
+[slava-slides]: /pldg/slava-pestov.pdf
diff --git a/static/pldg/slava-pestov.pdf b/static/pldg/slava-pestov.pdf