Pod.casts
Top Podcasts
Trending Podcasts
New Podcasts
Latest Episodes
Search
New Twitter Mentions for
nitinjohnraj2
@nitinjohnraj2
was mentioned in
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
Type Theory Forall
@nitinjohnraj2
was mentioned in
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
Type Theory Forall
Filter by Podcast
Type Theory Forall
2