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

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera Software Analysis & Testing
Georgia Institute of Technology via Udacity Go: The Complete Developer's Guide (Golang)
Udemy Go Bootcamp: Master Golang with 1000+ Exercises and Projects
Udemy C++ in Detail: Common Idioms
Udemy