Relevant Links
| # | Episode Title | Description | People | Date | |
|---|---|---|---|---|---|
| 1 | Creative Commons | Theorems for Free for Free: Parametricity, With and Without Types | Amal Ahmed (Northeastern University, USA) gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. | Amal Ahmed | 22 Jan 2018 |