#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
Type Theory Forall - En podkast av Pedro Abreu
Kategorier:
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 Nitin Twitter @NitinJohnRaj2 Eric Twitter @EricBond10 Collection of links on logical relations Theorems for Free Reynolds Paper Practical Foundations for Programming Languages