Theorems for free

🇺🇸

Night Session

In diesem Training Bite tankst Du sofort Wissen. Es bildet einen kleinen Teil der Online-Schulung ab. Super, um diese Schulung einfach mal auszuprobieren!

👉 Mehr Infos zur vollständigen Online-Schulung

Diese Session findet abends in Englisch statt.

Willkommen zur blauen Stunde! Diese Session findet zwischen Tag- und Abendprogramm statt. Unser Slot für einen Aperitiv, off-topic und gepflegtes Networking.

Diese Session findet tagsüber statt.

Session Host

Dr. Lars Hupel
Dr. Lars Hupel

Worum geht’s?

In the typed functional programming communities, there is much talk about „reasoning with types“. But rarely is this elaborated into something concrete. Just how can we extract tangible information from types beyond playing mere type tetris? The secret sauce is called parametricity, first described by John C. Reynolds, and later applied to Haskell by Philip Wadler in his seminal paper „Theorems for free!“.

Zur Konferenz anmeldenWas gibt’s sonst noch?