6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Youssef El Bakouny, Tristan Crolard, Dani Mezher
The present paper introduces Scala-of-Coq, a new compiler that allows a Coq-based synthesis of Scala programs which are "correct-by-construction". A typical workflow features a use…