Subscribe to Type Theory Forall’s news feed.
Click on “Follow” and decide if you want to get news from Type Theory Forall via RSS, as email newsletter, via mobile or on your personal news page.
Subscription to Type Theory Forall comes without risk as you can unsubscribe instantly at any time.
You can also filter the feed to your needs via topics and keywords so that you only receive the news from Type Theory Forall which you are really interested in. Click on the blue “Filter” button below to get started.
Website title: Type Theory Forall
Is this your feed? Claim it!
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 inhenrently broken, process of development of Hack, the design decisions, the kind of guarantees that could be enforced to PHP and that developers should care about.
This episode w...
Vlad works at Serokell to develop the Glasgow Haskell Compiler, he is a former member of the Haskell Steering Committee and the current implementer of Dependent Haskell.
In this conversation we talk about the development process of the GHC, he explains with detail how’s the decision process of the community to modify the language through the Haskell Steering Committee....
In this episode we talk with Farhad Mehta, one of the main organizers of Zurihac, the biggest Haskell event in the planet.
Zurihac happens once a year at Zurich. This year’s Zurihac will be on june 6, 7 and 8.
Links Zurihac WebsiteIn this episode me and Dan Plyukhin get together to have a heartfelt conversation. We start by talking about our experiences with meditation, and how it has helped us to have a more balanced work-life experience. Then the conversation shifts to comment about the current situation of the job market. Both in academia and in industry. We talk about strategies to reach out to pro...
In this episode of the Type Theory Forall podcast, we are joined by Valeria de Paiva, a Brazilian mathematician and logician whose work has had a lasting influence on category theory, type theory, and the foundations of logic. She is also a co-founder of the Topos Institute, where she continues to explore deep connections between mathematics, logic, computation, and the scien...