0:00 / 0:00
#delimitedcontinuations#dependenttypes#icfp
Handling Delimited Continuations with Dependent Types
ICFP Video
3.8K subscribers • 33 videos on Hallway
- Recommended by 3 people: 1 on Lobsters and 2 in engineering communities.
- Presented by Youyou Cong
- Linked in the descriptionDOI 10.1145/3236764
Advanced. Deep dive for people who know the field.
786 views8 years ago3 recommendations
Computer scienceProgramming languagesComputation and complexityFunctional programming
Youyou Cong presents a paper on using dependent types to handle delimited continuations at ICFP 2018.
Handling Delimited Continuations with Dependent Types, presented by Youyou Cong doi.org/10.1145/3236764Why it's here
3 people recommend thisWhat people say. Recommended as a key presentation on combining dependent types with delimited continuations.
u/rain5in r/ProgrammingLanguages • Recommends
On “Videos from ICFP 2018 are appearing on Youtube!”
Thank you!
I watched Handling Delimited Continuations with Dependent Types & paper
Referenced papers:
* On the Degeneracy of Σ-Types in Presence of Computational Classical Logic - Hugo Herbelin
* A Classical Sequent Calculus with Dependent Types - Étienne Miquey
* Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible. - William J. Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed
u/LorxuPikain r/ProgrammingLanguages • Recommends
On “Handling Delimited Continuations with Dependent Types”
There's also a talk on YouTube for this paper.