New Twitter Mentions for ericbond10

Type Theory Forall artwork
@ericbond10 was mentioned in #15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
Type Theory Forall
Type Theory Forall artwork
@ericbond10 was mentioned in #14 POPL, Parametricity, Scala, DOT - Nitin and Eric
Type Theory Forall
Type Theory Forall artwork
@ericbond10 was mentioned in #4 Theorem Provers, Functional Programming and Companies - Eric Bond
Type Theory Forall
Filter by Podcast