@article{desharnais-jfla2020,
  title={A Generic Framework for Verified Compilers Using Isabelle/HOL’s Locales},
  author={Desharnais, Martin and Brunthaler, Stefan},
  journal={31 {\`e}me Journ{\'e}es Francophones des Langages Applicatifs},
  pages={198},
  year = {2020},
  url = {https://hal.inria.fr/hal-02427360}
}
