diff --git a/docs/docs/resources/talks.md b/docs/docs/resources/talks.md index 276150a5ed92..091f9d528a4c 100644 --- a/docs/docs/resources/talks.md +++ b/docs/docs/resources/talks.md @@ -23,6 +23,9 @@ This is a recorded meeting between EPFL and Waterloo, where we introduce first n - (Mar 21, 2017) [Dotty Internals 2: Types](https://www.youtube.com/watch?v=3gmLIYlGbKc) by [Martin Odersky](http://twitter.com/odersky) and [Dmitry Petrashko](http://twitter.com/darkdimius). This is a recorded meeting between EPFL and Waterloo, where we introduce how types are represented inside Dotty. +- (Jun 15, 2017) [Dotty Internals 3: Denotations](https://youtu.be/9iPA7zMRGKY) by [Martin Odersky](http://twitter.com/odersky) and [Dmitry Petrashko](http://twitter.com/darkdimius). +This is a recorded meeting between EPFL and Waterloo, where we introduce denotations in Dotty. + - (JVM Language Summit) [How do we make the Dotty compiler fast](https://www.youtube.com/watch?v=9xYoSwnSPz0) by [Dmitry Petrashko](http://twitter.com/darkdimius). [Dmitry Petrashko](http://twitter.com/darkdimius) gives a high-level introduction on what was done to make Dotty .