Description:
Explore a conference talk from POPL'24 that delves into CC
Capturing Types: A Calculus for Tracking Free Variables in Type Systems
Add to list
#Computer Science
#Type System
#Mathematics
#Calculus
#Programming
#Programming Languages
#Type Safety