Konu "Definitional interpreters" için Bilgisayar Mühendisliği Bölümü Koleksiyonu listeleme
Toplam kayıt 1, listelenen: 1-1
-
A Sound Definitional Interpreter for a Simply Typed Functional Language
(MDPI, 2023)In this paper, we develop, in the proof assistant Coq, a definitional interpreter and a type-checker for a simply typed functional language, and formally prove that the mentioned type-checker is sound with respect to the ...