I am excited to announce that our paper "Back to Direct Style: Typed and Tight" has been accepted at OOPSLA'23.

We present a typed translation, which allows compilers to go to CPS, perform optimizations, and go back to direct-style (DS).

The translation...
- preserves well-typedness
- preserves semantics
- is a syntactic right-inverse of the CPS translation (that is, going to CPS and back is the identity)
- it is a left-inverse of the CPS translation, if DS programs don't use control effects

· Edited · · 1 · 15 · 27
Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.