#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
Feb 12, 2022
56:30
forum Ask episode
view_agenda Chapters
auto_awesome Transcript
info_circle Episode notes
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!