Type Theory Forall

#14 POPL, Parametricity, Scala, DOT - Nitin and Eric

Type Theory Forall

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!

Links

Next Episodes





Type Theory Forall

#12 Tenure, Sexism and ADHD - Talia Ringer @ Type Theory Forall

📆 2021-11-10 22:30 / 01:05:53