Video not available

Send us an email to

Why Type Theory matters

0 0

Modern Type Theory (usually called Homotopy Type Theory) is at the same time the ultimate functional programming language and a novel foundation of Mathematics, an alternative to the mathematical assembly language called set theory. Type theory exploits the advantages of static typing to the limit, meaning that by hiding implementation details you can identify tow object which behave the same - this is called the univalence principle.

Lambda Days 2019

Lambda Days is a one of a kind experience in the functional world. Never-failing explosion of enthusiasm and talent is what gets us motivated to explore this amazing community in all of its potenti...