Free
Courses
Каталог
Категории
Поиск
Каталог
Capturing Types: A Calculus for Tracking Free Variables in Type Systems
ACM SIGPLAN
0.0
20 minutes
English
В закладки
0/1 уроков (0%)
Перевод и озвучка
select language
– из 1
Mark as complete
Capturing Types: A Calculus for Tracking Free Variables in Type Systems
YouTube
·
Type System
Explore a conference talk from POPL'24 that delves into CC