#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
Type Theory Forall
English - February 12, 2022 20:20 - 56 minutes - 49.8 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
Next Episode: #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
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