Jonathan Brachthäuser @effects@types.pl

Here is an example from the paper:

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

https://se.cs.uni-tuebingen.de/publications/mueller23continuation/

@hazel According to the discussion it looks like their server is banned for bad behavior. So I guess that is a no

@hazel hey, Gabriele and I tried to connect here, but there seems to be a problem with a block. Anything we can do there, or is it not possible to connect with people on that particular instance?

Thanks :)

https://twitter.com/gckeller/status/1604588253264416771?t=z66VE_k5rEo7L8194foLyg&s=19

I am excited to see our OOPSLA artifact being selected for the "Distinguished Artifact Award"!

If you want to play around with our implementation or browse our Coq proofs, you can find it here:
https://se-tuebingen.github.io/oopsla-2022-artifact