Programming with Math (Exploring Type Theory)

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
17 Views
As programs are getting more complex, it's time to go back to basics, to the old well tested approach to complexity called mathematics. Let compilers deal with the intricacies of Turing machines. Our strength is abstract thinking. Let's use it!

EVENT:

Øredev 2018

SPEAKER:

Bartosz Milewski

PERMISSIONS:

Conference Organizer provided Coding Tech with the permission to republish this video.

Post your comment