About this talk
In this talk we will explore type-level programming. We will go through examples of how it's applied to achieve code safety.
Everyone at Web Zürich follows our Code of Conduct and advertising rules.
Everyone at Web Zürich follows our Code of Conduct and advertising rules.
In this talk we will explore type-level programming. We will go through examples of how it's applied to achieve code safety.