Synthetic Domains in the 21st Century - From Naive to Modern Denotational Semantics

Explore advanced concepts in synthetic domain theory through this technical talk that delves into the evolution and modern applications of denotational semantics in programming languages. Learn how the field has progressed from basic interpretations of typed lambda calculus to handling complex features like recursion, polymorphism, and state. Discover how synthetic domain theory has transformed from its 1990s origins to become a more powerful and modular tool in the 21st century, enabling simpler denotational semantics for sophisticated programming languages with higher-order polymorphism, dependent types, recursive types, and general reference types. Gain insights into both classical and recent developments in synthetic domain theory, understanding its practical implications for computer scientists working with modern programming language semantics.