Learn AI, Data Science & Business — Earn Certificates That Get You Hired
Most AI Pilots Fail to Scale. MIT Sloan Teaches You Why — and How to Fix It
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
Syllabus
Session Types in C++ - A Programmer's Journey - Miodrag Misha Djukic - CppCon 2024
Taught by
CppCon