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.
