Yazar "Ekici, Burak" için WoS İndeksli Yayınlar Koleksiyonu listeleme
-
A Sound Definitional Interpreter for a Simply Typed Functional Language
Ekici, Burak (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 ...