@inproceedings{berger_tratt__program_logics_for_homogeneous_meta_programming,
   author = "Martin Berger and Laurence Tratt",
   title = "Program Logics for Homogeneous Meta-Programming",
   booktitle = "Proc.~LPAR",
   year = "2010",
   month = May,
   pages = "64-81"
}