Type Theory Forall

Bem vindos to one more episode of the type theory forall podcast! As always this is your host Pedro Abreu. And today I have the great honor to have with me Shriram Krishnamurthi. Shriram has devoted h

Julien is one of the creators of Hack, a language developed by Facebook to introduce types into PHP. In this episode he talks in depth about the semantics of PHP, and all the ways that it is inhenrent