In this episode I gather with two good friends Eric and Nitin to randomly talk random subjects that pops up. Among them we talked about POPL, Scala, Isabelle, Parametricity, Dependent Object Types (DOT, for short) and more!
![Episode image](/_next/image?url=%2Fassets%2Flogo.png&w=256&q=75)
#14 POPL, Parametricity, Scala, DOT
Nitin and Eric
Apr 11th 2024 | 57 min
0:00
0:00