Typed syntactic meta-programming.

Dominique Devriese, Frank Piessens

Browse the full ICFP paper archive.