Introduction to type theory

Type theory was introduced as a way of avoiding certain paradoxes and erroneous behaviours of formal systems long before the first computer was constructed. Understanding those fundamental concepts gives better comprehension of type systems of modern, static typed, functional languages. Marcin Kostrzewa will talk about theoretical foundations of type theory and its consequences for contemporary language designs.


Join or login to comment.

Our Sponsors

People in this
Meetup are also in:

Create a Meetup Group and meet new people

Get started Learn more
Bill

I started the group because there wasn't any other type of group like this. I've met some great folks in the group who have become close friends and have also met some amazing business owners.

Bill, started New York City Gay Craft Beer Lovers

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy