Type Theory with Typescript

Abstract:
Learn how to correctly use types to create elegant and bug free code. This talk will teach you how to use the power of the mathematically sound curry-howard isomorphism to select which typing techniques to use, and which ones to avoid. All the examples will be in typescript, and will be focused on real world applications.

Bio:
Leo has over 10 years of experience building a range of systems, from medical software to GPS devices for school buses. He is a functional programming enthusiast, and is eager to spread the word on how to use math to create better software.