Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#14 POPL, Parametricity, Scala, DOT

Nitin and Eric

Feb 12th 2022   |  57 min
0:00
0:00