What advances in type systems have had a recent effect… and what’s next? Join us to discuss where types are going, in both theory and practice.