Type Systems and the Lambda Cube - Placing Hindley-Milner in context

March 30th 2018 19:30 - 20:20

Statically typed functional programming languages represent one of the big ideas of computing. But what is a type system? Why is the Hindley-Milner type system at the core of many functional programming languages? What are dependent types and why does the Curry-Howard isomorphism matter? In this talk we're going to get contravariant about the array of arguments against generic ideas about types! Let's manifest the difference between type inference and unityped dynamic languages! Come explore the menagerie of type systems from alpha reduction to System F-omega and their relationships to the unifying principles of the Lambda Cube. Gain a more global perspective on the kinds of type systems that exist in languages you use and will use and the doors they can open to your designs.

Emily Estes avatar
Emily Estes

I am a freelance software developer with over 10 years of experience. I received a Masters in Mathematics from Tennessee Technological University in 2005 where my research was on the semantics the of programming languages. I have worked on everything from engineering analysis software written in C ...

0 comments

This website uses cookies. By continuing to browse you agree to this and Conferize's terms of service.