A Coq-based synthesis of Scala programs which are correct-by-construction #1 Post by markhkim » Mon, Jun 19, 2017, 12:39 PM UTC A Coq-based synthesis of Scala programs which are correct-by-constructionarxiv.org