Scallina: Translating Verified Programs from Coq to Scala.

Youssef El Bakouny, Dani Mezher

Browse the full APLAS paper archive.