Scallina: translating verified programs from Coq to Scala

DOI10.1007/978-3-030-02768-1_7zbMath1519.68048OpenAlexW2897253092MaRDI QIDQ6166140

Dani Mezher, Youssef El Bakouny

Publication date: 2 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-02768-1_7

zbMATH Keywords

formal methodsfunctional programmingCoqcompilerScala

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Scallina: translating verified programs from Coq to Scala