Types 3: Session Preview

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a concise session preview for the Types 3 track at POPL'24, presented by Nick Benton. Gain insights into the upcoming discussions and research presentations focused on advanced type systems and their applications in programming languages. Learn about the latest developments, theoretical foundations, and practical implications of type theory that will be covered in this segment of the conference.

Syllabus

[SessionPreviews@POPL'24] Types 3: Session Preview

Taught by

ACM SIGPLAN

Related Courses

Radical and Type Theories in Organic Chemistry (1832-1850) - Lecture 22
Yale University via YouTube Introduction to programming with dependent types in Scala
Stepik Uncovering the Unknown - Principles of Type Inference in Programming Languages
ChariotSolutions via YouTube Univalence from a Computer Science Point-of-View - Dan Licata
Institute for Advanced Study via YouTube Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube