Pierre Spring

Pierre Spring

Nominal Type Systems

In this talk, we will discuss what a progamming lanugage type system is, why we might want to use it, and how not all type systems are created equally. With easy to follow examples, we will go from an untyped language, to a structurally typed one. And from there, we will see, why sometimes we might crave for a nominal type system.