Fluid quotes: metaprogramming across abstraction boundaries with dependent types.

Shadaj Laddad, Koushik Sen

Browse the full GPCE paper archive.