109 citations · 147 across the 8 of their papers we have counts for
1 paper · 1 filter
Martin Berger, Laurence Tratt
This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programmi…