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 
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!,

[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 

Reply via email to