Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

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

Start learning Write review

Details

Start learning

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

[POPL'24] Capturing Types (TOPLAS)

ACM SIGPLAN

Start your review of Capturing Types: A Calculus for Tracking Free Variables in Type Systems