Session Types vs. Ordinary Types: Understanding Fundamental Differences - Lecture 30

Explore the fundamental principles of type systems in this 31-minute conference talk by Frank Pfenning at ACM SIGPLAN. Examine the role of types in logic, mathematics, and computer science, providing a comprehensive framework to understand session types and modern type systems. Gain insights into the similarities, differences, and connections between various type systems, with a particular focus on distinguishing session types from ordinary types. Enhance your understanding of type system design and its implications in computer science.

[ST30] So what's the difference between a session type and an ordinary type anyway?