diff --git a/content/pldg/2023fa.md b/content/pldg/2023fa.md index 06f5772..fce53c3 100644 --- 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 new file mode 100644 index 0000000..9740bd4 Binary files /dev/null and b/static/pldg/slava-pestov.pdf differ