Kurum Yazarı "Ekici, Burak" WoS İndeksli Yayınlar Koleksiyonu İçin 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 ...