Talk on CPS Translation for Dependently Typed Languages (@ PEPM 2024)

Cong will give a talk titled “One-Pass CPS Translation of Dependent Types” at PEPM 2024, co-located with POPL 2024.

2024-01-16.
→
←