Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore session types in C++ through this conference talk from CppCon 2024, where Professor Miodrag Misha Djukic presents the first known implementation of session types in the language. Learn practical programming applications of session types for ensuring correctness in communication code, making concurrent and distributed software more reliable and easier to develop. Gain insights into different perspectives on types, models of asynchronous communication, and see a concrete implementation evaluated through examples. Designed for a broad audience with no advanced mathematical prerequisites, discover how session types bridge theoretical concepts with practical C++ programming, and understand the current challenges and limitations in their implementation. Delivered by an experienced computer engineer and programming language enthusiast with two decades of teaching experience in programming and compiler design at the University of Novi Sad.
