Conversation

Brendan Zabarauskas
@brendanzab
@wilbowma
I really liked your presentation, ”Compilation as Multi Language Semantics“! youtube.com/watch?v=RfVhUP The ‘lazy compilation‘ reminded me of the normalisation-by-evaluation that's often used for compile time interpreters in dependent type system implementations…
youtube.com
William J Bowman: Compilation as Multi Language Semantics
Abstract:Modeling interoperability between programs in different languages isa key problem when modeling verified and secure compilation, which hasbeen succe...
Twitter Web App
3
Likes
Brendan Zabarauskas
@brendanzab
Replying to
@brendanzab
Almost like NbE is a bit like 'lazy closure conversion + partial evaluation' perhaps…? I'm pretty bad at theory stuff, so it's likely I'm wrong about this, misunderstanding, or that you are already aware! Just thought I'd mention it in case it's of any use! 😅
1
3