A Coq-based synthesis of Scala programs which are correct-by-construction. - Youssef El Bakouny; Tristan Crolard; Dani Mezher (FTfJP@ECOOP, 2017)

Scallina: Translating Verified Programs from Coq to Scala. - Youssef El Bakouny; Dani Mezher (APLAS, 2018)

The Scallina Grammar - Towards a Scala Extraction for Coq. - Youssef El Bakouny; Dani Mezher (SBMF, 2018)