Skip to content
Web Zürich
Talks
Speakers
CoC
Menu
Alexander Gerasimov
An intro to type-level programming
In this talk we will explore type-level programming. We will go through examples of how it's applied to achieve code safety.