├── Models-of-Programming-Languages-1.pdf ├── Models-of-Programming-Languages-2A-ccc.pdf ├── Models-of-Programming-Languages-2B-td.pdf ├── Models-of-Programming-Languages-2C-smcc.pdf ├── Models-of-Programming-Languages-3.pdf ├── Models-of-Programming-Languages-4.pdf ├── Models-of-Programming-Languages-5.pdf ├── Models-of-Programming-Languages-domains.pdf ├── Models-of-Programming-Languages-intro.pdf ├── Models-of-Programming-Languages-slides-ccc.pdf ├── Models-of-Programming-Languages-td-coh.pdf └── README.md /Models-of-Programming-Languages-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-1.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-2A-ccc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-2A-ccc.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-2B-td.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-2B-td.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-2C-smcc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-2C-smcc.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-3.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-4.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-5.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-domains.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-domains.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-intro.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-intro.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-slides-ccc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-slides-ccc.pdf -------------------------------------------------------------------------------- /Models-of-Programming-Languages-td-coh.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pamellies/models-of-programming-languages/22198fb1d822c88751fc7fa8d1fbc298058cc019/Models-of-Programming-Languages-td-coh.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Models of Programming Languages 2 | Slides and handwritten notes of my online course on **models of programming languages** at the Master Parisien de Recherche en Informatique. You will find [here](https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-2) a general description of the course 3 | which I teach with [Thomas Ehrhard](https://www.irif.fr/~ehrhard) and [Michele Pagani](https://www.irif.fr/~pagani). 4 | 5 | You may have access to the videos, slides and handwritten notes of the course here: 6 | 7 | Lesson A: general introduction to the course [[slides](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-intro.pdf)] 8 | 9 | Lesson B: simply-typed lambda-calculus, cartesian closed categories [[slides](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-slides-ccc.pdf)] 10 | 11 | Lesson C: domains and continuous functions [[notes](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-domains.pdf)] 12 | 13 | Lesson 1: cartesian closed categories, adjunctions [[video](https://us02web.zoom.us/rec/share/Rz4-XYeh-otOvkWzncJoSH1Ql41u7H8ysZUuB3p0X0-raiwlRXLmXG_Z5BNI0W3d.emFvqQJrKJfA6YkT?startTime=1602005057000)] 14 | [[notes](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-1.pdf)] 15 | 16 | Lesson 2: interpretation of the lambda-calculus [[video](https://us02web.zoom.us/rec/share/MzS_dnAptIwWiM__sqn7V6c97ceU6iZHWeQSEFBjfay43oBifOyBueUbrAAJEHf6.67W8ZnsaJvqFlBIP?startTime=1602571973000)] 17 | [[notes-ccc](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-2A-ccc.pdf)] 18 | [[td](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-2B-td.pdf)] 19 | [[notes-mon](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-2C-smcc.pdf)] 20 | 21 | Lesson 3: coherence spaces, monoidal categories [[video](https://us02web.zoom.us/rec/share/dBjcRgKUMURzJkTwZQMFdLlxWhnmqho-hNjkOBu11R8vRfnqFk4vImRyXCLIGXhR.6SSAp3sbBtq0oK3p?startTime=1603177314000)] 22 | [[notes](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-3.pdf)] 23 | 24 | Lesson 4: linear logic, star-autonomous categories [[video](https://us02web.zoom.us/rec/share/DvoSPf2EFnR0a_Iihl09LDEyd9Eckxrm_vXqXUCGHH6W39Go8PyfKvWkHXM5DWLx.uSmpDDr80P59ibuK?startTime=1603785312000)] 25 | [[notes](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-4.pdf)] 26 | 27 | Lesson 5: the exponential modality of linear logic [[video](https://www.irif.fr/~mellies/mpri/mpri-m2/Online-Sessions-MPRI/Models-Of-Programming-Languages-Online-Session-5.mp4)][[notes](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-5.pdf)] 28 | 29 | TD: from stable functions to coherence spaces 30 | [[td](https://github.com/pamellies/models-of-programming-languages/blob/main/Models-of-Programming-Languages-td-coh.pdf)] 31 | 32 | --------------------------------------------------------------------------------