20 citations · 27 across the 2 of their papers we have counts for
1 paper · 1 filter
András Kovács
The aim of staged compilation is to enable metaprogramming in a way such that we have guarantees about the well-formedness of code output, and we can also mix together object-level…