11 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
William J. Bowman
We present the design and implementation of a macro-embedding of a family of compiler intermediate languages, from a Scheme-like language to x86-64, into Racket. This embedding is…