YoVDO

One-Pass CPS Translation of Dependent Types

Offered By: ACM SIGPLAN via YouTube

Tags

Dependent Types Courses Compilers Courses Functional Programming Courses Lambda Calculus Courses Type Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a talk proposal on type-preserving, one-pass Continuation-Passing Style (CPS) translation for dependently typed languages. Delve into the challenges of preserving dependent types during compilation, focusing on the Calculus of Constructions with dependent pair types. Review existing techniques for maintaining dependent types in standard CPS translations and examine the speaker's approach to adapting these methods for an optimizing translation that eliminates administrative redexes. Gain insights into the importance of type preservation in compilers, especially when working with dependently typed source and target languages.

Syllabus

[PEPM'24] One-Pass CPS Translation of Dependent Types (Talk Proposal)


Taught by

ACM SIGPLAN

Related Courses

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Paradigms of Computer Programming
Université catholique de Louvain via edX
Introduction to Functional Programming
Delft University of Technology via edX
Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX