I think that might be it specifically about redex, I am sorry to say. Robby
On Wed, Dec 8, 2021 at 5:28 PM Mallku Ernesto Soldevila Raffa < mallkuerne...@gmail.com> wrote: > Hi community!, > I'm interested in understanding the semantics of PLT Redex, since we are > working on a tool > to translate fragments of Redex models to Coq. At the moment, we just have > a > mechanization in Coq of the semantics proposed in a ~10 years old paper > [1]. Does > anybody know if there is an updated work on formal semantics of Redex? > > Thanks in advance!, > Mallku > > [1] : https://link.springer.com/chapter/10.1007%2F978-3-642-25318-8_27 > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/d794dd4d-34c7-4de8-a4cd-a437dfcc630cn%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/d794dd4d-34c7-4de8-a4cd-a437dfcc630cn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAL3TdOMcaBdpksLf2u4o-sw1EW2%3DpYTMgnNaCdaHR_K5uev4cA%40mail.gmail.com.
