Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

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

Podcast Cover

22 Mar 2024

12m

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

ACM SIGPLAN

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

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval