Capturing Types: A Calculus for Tracking Free Variables in Type Systems

Offered By: ACM SIGPLAN via YouTube

Tags

Type System Courses Calculus Courses Type Safety Courses

Course Description

Overview

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

Explore a conference talk from POPL'24 that delves into CC

Syllabus

[POPL'24] Capturing Types (TOPLAS)

Taught by

ACM SIGPLAN

Related Courses

Using Generics in C#
LinkedIn Learning Java Class Library
LearnQuest via Coursera What's New in Ruby 3
Pluralsight C# Generics
Pluralsight TypeScript Basic: Type System, Interfaces, Types, Generics
Udemy